|
| |
|
| javax.swing.JInternalFrame
 com.vividsolutions.jump.workbench.ui.HTMLFrame
| HTMLFrame | | public class HTMLFrame extends JInternalFrame (Code) | | At the bottom-left corner is an MS-Access-style record navigator for
cycling through the history of documents. A new document is created when
#createNewDocument is called.
Methods can be called regardless of whether or not the current thread is the
AWT event dispatching thread.
|
| alwaysOnTop | | protected boolean alwaysOnTop(Code) | | |
| HTMLFrame | | public HTMLFrame()(Code) | | Do not use this constructor. It is here to satisfy JBuilder's GUI
designer when it opens WorkbenchFrame.
|
| addHeader | | public void addHeader(int level, String text)(Code) | |
Parameters:
level - 1, 2, 3, ... |
| addText | | public void addText(String text)(Code) | | Appends a line of non-HTML text to the frame. Text is assumed to be non-HTML, and is
HTML-escaped to avoid control-char conflict.
Parameters:
text - |
| append | | public void append(String html)(Code) | | Appends HTML text to the frame.
Parameters:
html - the HTML to append |
| clear | | public void clear()(Code) | | |
| createNewDocument | | public void createNewDocument()(Code) | | |
| getBackgroundColor | | public Color getBackgroundColor()(Code) | | |
| getCurrentIndex | | public int getCurrentIndex()(Code) | | |
| getRecordCount | | public int getRecordCount()(Code) | | |
| scrollToTop | | public void scrollToTop()(Code) | | |
| setBackgroundColor | | public void setBackgroundColor(Color color)(Code) | | |
| setCurrentIndex | | public void setCurrentIndex(int index)(Code) | | |
| setRecordNavigationControlVisible | | public void setRecordNavigationControlVisible(boolean visible)(Code) | | |
| surface | | public void surface()(Code) | | Brings the output window to the front. Adds it to the desktop if
necessary.
|
|
|
|