// public int getCaretRGB()
// {
// return _caretRGB;
// }
//
// public void setCaretRGB(int data)
// {
// if (_caretRGB != data)
// {
// final int oldValue = _caretRGB;
// _caretRGB = data;
// getPropertyChangeReporter().firePropertyChange(IPropertyNames.CARET_COLOR,
// oldValue, _caretRGB);
// }
// }
//
// public int getSelectionRGB()
// {
// return _selectionRGB;
// }
//
// public void setSelectionRGB(int data)
// {
// if (_selectionRGB != data)
// {
// final int oldValue = _selectionRGB;
// _selectionRGB = data;
// getPropertyChangeReporter().firePropertyChange(IPropertyNames.SELECTION_COLOR,
// oldValue, _selectionRGB);
// }
// }
//
// public int getCurrentLineHighlightRGB()
// {
// return _lineHighlightRGB;
// }
//
// public void setCurrentLineHighlightRGB(int data)
// {
// if (_lineHighlightRGB != data)
// {
// final int oldValue = _lineHighlightRGB;
// _lineHighlightRGB = data;
// getPropertyChangeReporter().firePropertyChange(IPropertyNames.CURRENT_LINE_HIGHLIGHT_COLOR,
// oldValue, _lineHighlightRGB);
// }
// }
//
// public int getEOLMarkerRGB()
// {
// return _eolMarkerRGB;
// }
//
// public void setEOLMarkerRGB(int data)
// {
// if (_eolMarkerRGB != data)
// {
// final int oldValue = _eolMarkerRGB;
// _eolMarkerRGB = data;
// getPropertyChangeReporter().firePropertyChange(IPropertyNames.EOL_MARKER_COLOR,
// oldValue, _eolMarkerRGB);
// }
// }
//
// public int getBracketHighlightRGB()
// {
// return _bracketHighlightRGB;
// }
//
// public void setBracketHighlightRGB(int data)
// {
// if (_bracketHighlightRGB != data)
// {
// final int oldValue = _bracketHighlightRGB;
// _bracketHighlightRGB = data;
// getPropertyChangeReporter().firePropertyChange(IPropertyNames.BRACKET_HIGHLIGHT_COLOR,
// oldValue, _bracketHighlightRGB);
// }
// }
//
// public int getLineNumberRGB()
// {
// return _lineNumberRGB;
// }
//
// public void setLineNumberRGB(int data)
// {
// if (_lineNumberRGB != data)
// {
// final int oldValue = _lineNumberRGB;
// _lineNumberRGB = data;
// getPropertyChangeReporter().firePropertyChange(IPropertyNames.LINE_NUMBER_COLOR,
// oldValue, _lineNumberRGB);
// }
// }
/**
* Retrieve the object that reports on property change events. If it doesn't exist then create it.
*
* @return PropertyChangeReporter object.
*/
private synchronized PropertyChangeReporter getPropertyChangeReporter() {
if (_propChgReporter == null) {
_propChgReporter = new PropertyChangeReporter(this );
}
return _propChgReporter;
}
|