/** * Creates a line number list to use in the gutter for a text area. * * @param textArea The text area. * @return The line number list. */ public LineNumberList createLineNumberList(RTextArea textArea) { return new LineNumberList(textArea); }
/** * Creates a line number list to use in the gutter for a text area. * * @param textArea The text area. * @return The line number list. */ public LineNumberList createLineNumberList(RTextArea textArea) { return new LineNumberList(textArea); }
/** * Sets the text area being displayed. This will clear any tracking * icons currently displayed. * * @param textArea The text area. */ void setTextArea(RTextArea textArea) { if (this.textArea!=null) { listener.uninstall(); } if (lineNumberList==null) { lineNumberList = new LineNumberList(textArea); } else { lineNumberList.setTextArea(textArea); } if (iconArea==null) { iconArea = new IconRowHeader(textArea); } else { iconArea.setTextArea(textArea); } if (textArea!=null) { listener.install(textArea); } this.textArea = textArea; }
/** * Sets the text area being displayed. This will clear any tracking * icons currently displayed. * * @param textArea The text area. */ void setTextArea(RTextArea textArea) { if (this.textArea!=null) { listener.uninstall(); } if (lineNumberList==null) { lineNumberList = new LineNumberList(textArea); } else { lineNumberList.setTextArea(textArea); } if (iconArea==null) { iconArea = new IconRowHeader(textArea); } else { iconArea.setTextArea(textArea); } if (textArea!=null) { listener.install(textArea); } this.textArea = textArea; }