/** Overridden so we can track when code folding is enabled/disabled. */
public void setTextArea(RTextArea textArea) {
if (this.textArea != null) {
this.textArea.removePropertyChangeListener(RSyntaxTextArea.CODE_FOLDING_PROPERTY, listener);
}
super.setTextArea(textArea);
if (this.textArea != null) {
this.textArea.addPropertyChangeListener(RSyntaxTextArea.CODE_FOLDING_PROPERTY, listener);
}
}
