Changeset 25733
- Timestamp:
- 2012-06-01T16:08:33+12:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java
r18835 r25733 46 46 import org.w3c.dom.*; 47 47 48 import org.fife.ui.rsyntaxtextarea.*; 49 50 48 51 /** This class maintains a list of format statements, and allows the addition and removal of these statements. 49 52 * @author John Thompson, Greenstone Digital Library, University of Waikato … … 299 302 private JComboBox variable_combobox; 300 303 private JList format_list; 301 private JTextArea editor_textarea;304 private RSyntaxTextArea editor_textarea; 302 305 private JPanel blank_pane; 303 306 private JPanel control_pane; … … 363 366 editor_label.setComponentOrientation(Dictionary.getOrientation()); 364 367 365 editor_textarea = new JTextArea(); 368 editor_textarea = new RSyntaxTextArea(); 369 370 /* Fields specific to RSyntaxQuery inherited class */ 371 editor_textarea.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_HTML); 372 editor_textarea.setBracketMatchingEnabled(true); 373 editor_textarea.setAnimateBracketMatching(true); 374 editor_textarea.setAntiAliasingEnabled(true); 375 editor_textarea.setAutoIndentEnabled(true); 376 editor_textarea.setPaintMarkOccurrencesBorder(false); 377 378 /* Standard fields to JTextArea */ 366 379 editor_textarea.setBackground(Configuration.getColor("coloring.editable_background", false)); 367 380 editor_textarea.setCaretPosition(0);
Note:
See TracChangeset
for help on using the changeset viewer.