Changeset 25733 for main

Timestamp:

2012-06-01T16:08:33+12:00 (12 years ago)

Author:

davidb

Message:

Greenstone 2 version of GLI changed to use RsyntaxTextArea so coloured highlighting and other goodies available to the use, including ctrl-Z for undo

File:

• main/trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java (modified) (3 diffs)

main/trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java

@@ -46 +46 @@
 import org.w3c.dom.*;
 
+import org.fife.ui.rsyntaxtextarea.*;
+
+
 /** This class maintains a list of format statements, and allows the addition and removal of these statements.
  * @author John Thompson, Greenstone Digital Library, University of Waikato
@@ -299 +302 @@
     private JComboBox variable_combobox;
     private JList format_list;
-    private JTextArea editor_textarea;
+    private RSyntaxTextArea editor_textarea;
     private JPanel blank_pane;
     private JPanel control_pane;
@@ -363 +366 @@
       editor_label.setComponentOrientation(Dictionary.getOrientation());
       
-      editor_textarea = new JTextArea();
+      editor_textarea = new RSyntaxTextArea();
+
+      /* Fields specific to RSyntaxQuery inherited class */
+      editor_textarea.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_HTML);
+      editor_textarea.setBracketMatchingEnabled(true);
+      editor_textarea.setAnimateBracketMatching(true);
+      editor_textarea.setAntiAliasingEnabled(true);
+      editor_textarea.setAutoIndentEnabled(true);
+      editor_textarea.setPaintMarkOccurrencesBorder(false);
+
+      /* Standard fields to JTextArea */
       editor_textarea.setBackground(Configuration.getColor("coloring.editable_background", false));
       editor_textarea.setCaretPosition(0);