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.