public interface AppTool extends AppPart
JComponent
designed
to be included in an horizontal tool bar or in a status bar.
(Its shape should be a flat rectangle.)Modifier and Type | Method and Description |
---|---|
String |
getHelpId()
Returns the online help ID of this component.
|
void |
setHelpId(String helpId)
Specifies the online help ID of this component.
|
activeEditorChanged, applyPreferences, destroyApp, editingContextChanged, flushPreferences, getApp, getId, initApp, isEditingContextSensitive, namespacePrefixesChanged, saveStateChanged, undoStateChanged, validityStateChanged
void setHelpId(String helpId)
This ID is almost always obtained from the declaration of this AppTool found in the .xxe_gui GUI specification file of the App.
String getHelpId()