equal
deleted
inserted
replaced
67 * <a href="TerminalFactorySpi.html">TerminalFactorySpi</a> |
67 * <a href="TerminalFactorySpi.html">TerminalFactorySpi</a> |
68 * |
68 * |
69 * </dl> |
69 * </dl> |
70 * |
70 * |
71 * |
71 * |
72 * <h3>API Example</h3> |
72 * <h2>API Example</h2> |
73 * |
73 * |
74 * A simple example of using the API is: |
74 * A simple example of using the API is: |
75 * <pre> |
75 * <pre> |
76 * // show the list of available terminals |
76 * // show the list of available terminals |
77 * TerminalFactory factory = TerminalFactory.getDefault(); |
77 * TerminalFactory factory = TerminalFactory.getDefault(); |