Changeset 25682 for main/trunk/gli/src

Timestamp:

2012-05-28T23:44:13+12:00 (12 years ago)

Author:

davidb

Message:

Changed to using RSyntaxTextArea to get coloured highlighting and other goodies for the Greenstone3 format manager

File:

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

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

@@ -33 +33 @@
 import javax.xml.parsers.DocumentBuilderFactory;
 
+import org.fife.ui.rsyntaxtextarea.*;
+
 import org.greenstone.gatherer.Configuration;
 import org.greenstone.gatherer.DebugStream;
@@ -297 +299 @@
 
             editor_textarea = new NumberedJTextArea();
+
+                /* Fields specific to RSyntaxQuery inherited class */
+            editor_textarea.setSyntaxEditingStyle(SyntaxConstants.SYNTAX_STYLE_XML);
+            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.setOpaque(false);
             editor_textarea.setBackground(Configuration.getColor("coloring.editable_background", false));
@@ -824 +836 @@
          * A textarea with the line number next to each line of the text
          */
-        public class NumberedJTextArea extends JTextArea
+        public class NumberedJTextArea extends RSyntaxTextArea /*JTextArea*/
         {
             public void paintComponent(Graphics g)
@@ -832 +844 @@
                 g.setColor(Color.white);
                 g.fillRect(rectangle.x, rectangle.y, rectangle.width, rectangle.height);
+
+                super.paintComponent(g);
+
                 if (rectangle.x < insets.left)
                 {
@@ -860 +875 @@
                         line_number_start_point++;
                     }
-                }
-                super.paintComponent(g);
+                }               
             }