Changeset 25733

Show
Ignore:
Timestamp:
01.06.2012 16:08:33 (7 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

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java

    r18835 r25733  
    4646import org.w3c.dom.*; 
    4747 
     48import org.fife.ui.rsyntaxtextarea.*; 
     49 
     50 
    4851/** This class maintains a list of format statements, and allows the addition and removal of these statements. 
    4952 * @author John Thompson, Greenstone Digital Library, University of Waikato 
     
    299302    private JComboBox variable_combobox; 
    300303    private JList format_list; 
    301     private JTextArea editor_textarea; 
     304    private RSyntaxTextArea editor_textarea; 
    302305    private JPanel blank_pane; 
    303306    private JPanel control_pane; 
     
    363366      editor_label.setComponentOrientation(Dictionary.getOrientation()); 
    364367       
    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 */ 
    366379      editor_textarea.setBackground(Configuration.getColor("coloring.editable_background", false)); 
    367380      editor_textarea.setCaretPosition(0);