Revision 977 org.gvsig.scripting/trunk/org.gvsig.scripting/org.gvsig.scripting.swing/org.gvsig.scripting.swing.impl/src/main/java/org/gvsig/scripting/swing/impl/composer/editors/BaseTextEditor.java

View differences:

BaseTextEditor.java
6 6 
import java.awt.event.KeyListener;
7 7 
import java.beans.PropertyChangeListener;
8 8 
import javax.swing.JPanel;
9 
import javax.swing.event.DocumentEvent;
10 
import javax.swing.event.DocumentListener;
9 11 
import javax.swing.text.JTextComponent;
10 12 
import org.fife.ui.rsyntaxtextarea.RSyntaxTextArea;
11 13 
import org.gvsig.scripting.swing.api.JTextEditor;
......
47 49 
    private void initComponent() {
48 50 
        this.setLayout(new BorderLayout());
49 51 
        editorText = (SyntaxtHighlightTextComponent) uimanager.createSyntaxHighlightingPanel();
50 
        editorText.addKeyListener(new KeyListener() {
51 

  		




  
  52
  
    
//        editorText.addKeyListener(new KeyListener() {


  		




  
  53
  
    
//


  		




  
  54
  
    
//            @Override


  		




  
  55
  
    
//            public void keyTyped(KeyEvent e) {


  		




  
  56
  
    
//                doKeyTyped(e);


  		




  
  57
  
    
//            }


  		




  
  58
  
    
//


  		




  
  59
  
    
//            @Override


  		




  
  60
  
    
//            public void keyPressed(KeyEvent e) {


  		




  
  61
  
    
//            }


  		




  
  62
  
    
//


  		




  
  63
  
    
//            @Override


  		




  
  64
  
    
//            public void keyReleased(KeyEvent e) {


  		




  
  65
  
    
//            }


  		




  
  66
  
    
//        });


  		




  
  67
  
    
        editorText.getJTextComponent().getDocument().addDocumentListener(new DocumentListener() {


  		




  52
  68
  
    
            @Override


  		




  53
  
  
    
            public void keyTyped(KeyEvent e) {


  		




  54
  
  
    
                doKeyTyped(e);


  		




  
  69
  
    
            public void insertUpdate(DocumentEvent e) {


  		




  
  70
  
    
                changeListeners.fireChange("code", null);


  		




  55
  71
  
    
            }


  		




  56
  72
  
    

  		




  57
  73
  
    
            @Override


  		




  58
  
  
    
            public void keyPressed(KeyEvent e) {


  		




  
  74
  
    
            public void removeUpdate(DocumentEvent e) {


  		




  
  75
  
    
                changeListeners.fireChange("code", null);


  		




  59
  76
  
    
            }


  		




  60
  77
  
    

  		




  61
  78
  
    
            @Override


  		




  62
  
  
    
            public void keyReleased(KeyEvent e) {


  		




  
  79
  
    
            public void changedUpdate(DocumentEvent e) {


  		




  
  80
  
    
                changeListeners.fireChange("code", null);


  		




  63
  81
  
    
            }


  		




  64
  82
  
    
        });


  		




  65
  83
  
    
        this.add(editorText.asJComponent(), BorderLayout.CENTER);


  		




  66
  84
  
    
    }


  		




  67
  85
  
    

  		




  68
  
  
    
    public void doKeyTyped(KeyEvent e) {


  		




  69
  
  
    
        if (e.getKeyChar() == KeyEvent.CHAR_UNDEFINED) {


  		




  70
  
  
    
            return;


  		




  71
  
  
    
        }


  		




  72
  
  
    
        if ((e.getModifiers() & this.menuShortcutKeyMask) == this.menuShortcutKeyMask) {


  		




  73
  
  
    
            return;


  		




  74
  
  
    
        }


  		




  75
  
  
    
        this.changeListeners.fireChange("code", null);


  		




  76
  
  
    
    }


  		




  
  86
  
    
//    public void doKeyTyped(KeyEvent e) {


  		




  
  87
  
    
//        if (e.getKeyChar() == KeyEvent.CHAR_UNDEFINED) {


  		




  
  88
  
    
//            return;


  		




  
  89
  
    
//        }


  		




  
  90
  
    
//        if ((e.getModifiers() & this.menuShortcutKeyMask) == this.menuShortcutKeyMask) {


  		




  
  91
  
    
//            return;


  		




  
  92
  
    
//        }


  		




  
  93
  
    
//        this.changeListeners.fireChange("code", null);


  		




  
  94
  
    
//    }


  		




  77
  95
  
    

  		




  78
  96
  
    
    public void setText(String mimeType, String text) {


  		




  79
  97
  
    
        boolean enabled = this.changeListeners.setEnabled(false);


  		












Also available in:  Unified diff