|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ help overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.help
Class HelpViewer

java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
org.gjt.sp.jedit.help.HelpViewer
- All Implemented Interfaces:
- javax.accessibility.Accessible, org.gjt.sp.jedit.EBComponent, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants
- public class HelpViewer
- extends javax.swing.JFrame
- implements org.gjt.sp.jedit.EBComponent
- extends javax.swing.JFrame
jEdit's searchable help viewer. It uses a Swing JEditorPane to display the HTML, and implements a URL history.
- Version:
- $Id: HelpViewer.java,v 1.12 2003/06/03 20:35:53 spestov Exp $
| Nested Class Summary | |
(package private) class |
HelpViewer.ActionHandler
|
(package private) class |
HelpViewer.LinkHandler
|
(package private) class |
HelpViewer.PropertyChangeHandler
|
| Nested classes inherited from class javax.swing.JFrame |
javax.swing.JFrame.AccessibleJFrame |
| Nested classes inherited from class java.awt.Frame |
java.awt.Frame.AccessibleAWTFrame |
| Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
| Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
| Field Summary | |
private javax.swing.JButton |
back
|
private java.lang.String |
baseURL
|
private javax.swing.JButton |
forward
|
private java.lang.String[] |
history
|
private int |
historyPos
|
private boolean |
queuedTOCReload
|
private java.lang.String |
shortURL
|
private javax.swing.JSplitPane |
splitter
|
private javax.swing.JLabel |
title
|
private HelpTOCPanel |
toc
|
private javax.swing.JEditorPane |
viewer
|
| Fields inherited from class javax.swing.JFrame |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled |
| Fields inherited from class java.awt.Frame |
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR |
| Fields inherited from class java.awt.Window |
|
| Fields inherited from class java.awt.Container |
|
| Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
| Fields inherited from interface javax.swing.WindowConstants |
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
| Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
| Constructor Summary | |
HelpViewer()
Creates a new help viewer with the default help page. |
|
HelpViewer(java.lang.String url)
Creates a new help viewer for the specified URL. |
|
HelpViewer(java.net.URL url)
Creates a new help viewer for the specified URL. |
|
| Method Summary | |
void |
dispose()
Destroys any resources associated with this window. |
java.lang.String |
getBaseURL()
|
(package private) java.lang.String |
getShortURL()
|
void |
gotoURL(java.lang.String url,
boolean addToHistory)
Displays the specified URL in the HTML component. |
void |
handleMessage(org.gjt.sp.jedit.EBMessage msg)
Handles a message sent on the EditBus. |
void |
queueTOCReload()
|
| Methods inherited from class java.awt.Frame |
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface java.awt.MenuContainer |
getFont, postEvent |
| Field Detail |
baseURL
private java.lang.String baseURL
shortURL
private java.lang.String shortURL
back
private javax.swing.JButton back
forward
private javax.swing.JButton forward
viewer
private javax.swing.JEditorPane viewer
title
private javax.swing.JLabel title
splitter
private javax.swing.JSplitPane splitter
history
private java.lang.String[] history
historyPos
private int historyPos
toc
private HelpTOCPanel toc
queuedTOCReload
private boolean queuedTOCReload
| Constructor Detail |
HelpViewer
public HelpViewer()
- Creates a new help viewer with the default help page.
- Since:
- jEdit 4.0pre4
HelpViewer
public HelpViewer(java.net.URL url)
- Creates a new help viewer for the specified URL.
HelpViewer
public HelpViewer(java.lang.String url)
- Creates a new help viewer for the specified URL.
| Method Detail |
gotoURL
public void gotoURL(java.lang.String url, boolean addToHistory)
- Displays the specified URL in the HTML component.
dispose
public void dispose()
- Description copied from class:
java.awt.Window - Destroys any resources associated with this window. This includes
all components in the window and all owned top-level windows.
handleMessage
public void handleMessage(org.gjt.sp.jedit.EBMessage msg)
- Description copied from interface:
org.gjt.sp.jedit.EBComponent - Handles a message sent on the EditBus.
This method must specify the type of responses the plugin will have
for various subclasses of the org.gjt.sp.jedit.EBMessage class. Typically
this is done with one or more
ifblocks that test whether the message is an instance of a derived message class in which the component has an interest. For example:if(msg instanceof BufferUpdate) { // a buffer's state has changed! } else if(msg instanceof ViewUpdate) { // a view's state has changed! } // ... and so on- Specified by:
handleMessagein interfaceorg.gjt.sp.jedit.EBComponent
getBaseURL
public java.lang.String getBaseURL()
getShortURL
java.lang.String getShortURL()
queueTOCReload
public void queueTOCReload()
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ help overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC