javax.help
Interface TextHelpModel
- HelpModel
- DefaultHelpModel
public interface TextHelpModel
The interface to a HelpModel that manipulates text.
It provides additional text operations.
static interface | TextHelpModel.Highlight- This is very similar to javax.swing.text.Highlighter.Highlight
except that it does not use the notion of HighlightPainter.
|
addHelpModelListener, addPropertyChangeListener, getCurrentID, getCurrentURL, getHelpSet, removeHelpModelListener, removePropertyChangeListener, setCurrentID, setCurrentID, setCurrentURL, setCurrentURL, setHelpSet |
addHighlight
public void addHighlight(int pos0,
int pos1) Adds a highlight to a range of positions in a document.
pos0 - Start position.pos1 - End position.
addTextHelpModelListener
public void addTextHelpModelListener(TextHelpModelListener l)
Adds a listener for a TextHelpModel.
getDocumentTitle
public String getDocumentTitle()
Gets the title of the document.
- The title of document visited.
removeAllHighlights
public void removeAllHighlights()
Removes all highlights on the current document.
removeTextHelpModelListener
public void removeTextHelpModelListener(TextHelpModelListener l)
Removes a listener for a TextHelpModel.
setDocumentTitle
public void setDocumentTitle(String title)
Sets the title of the document.
A property change event is generated.
title - The title currently shown.
setHighlights
public void setHighlights(TextHelpModel.Highlight[] h)
Sets the highlights to be a range of positions in a document.
h - The array of highlight objects.