Revision 562 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/EditorHelper.java

View differences:

EditorHelper.java
6 6 
import java.awt.event.KeyEvent;
7 7 
import java.awt.event.KeyListener;
8 8 
import javax.swing.JPanel;
9 
import javax.swing.JScrollPane;
10 
import javax.swing.JTabbedPane;
11 9 
import javax.swing.JTextArea;
12 
import javax.swing.JViewport;
13 10 
import javax.swing.text.BadLocationException;
14 11 
import javax.swing.text.JTextComponent;
15 12 
import org.gvsig.scripting.ScriptingManager;
16 13 
import org.gvsig.scripting.ScriptingScript;
17 
import org.gvsig.scripting.swing.api.JCodeEditor;
18 14 
import org.gvsig.scripting.swing.api.JEditor;
19 15 
import org.gvsig.scripting.swing.api.ScriptingUIManager;
20 16 
import org.gvsig.scripting.swing.api.SyntaxtHighlightTextComponent;
21 17 
import org.gvsig.scripting.swing.impl.JDialogContent;
18 
import org.gvsig.scripting.swing.impl.composer.DefaultJScriptingComposer.JMyTabbedPane;
22 19 
import org.slf4j.Logger;
23 20 
import org.slf4j.LoggerFactory;
24 21 

  		




  ......




  126
  123
  
    

  		




  127
  124
  
    
        private void setUnsavedMark(JEditor editor, boolean mark) {


  		




  128
  125
  
    
            try {


  		




  129
  
  
    
                JTabbedPane tabs = (JTabbedPane) editor.getParent();


  		




  130
  
  
    
                String title = tabs.getTitleAt(tabs.getSelectedIndex());


  		




  131
  
  
    
                if (mark) {


  		




  132
  
  
    
                    if (!title.startsWith("*")) {


  		




  133
  
  
    
                        tabs.setTitleAt(tabs.getSelectedIndex(), "*" + title);


  		




  134
  
  
    
                    }


  		




  135
  
  
    
                } else {


  		




  136
  
  
    
                    if (title.startsWith("*")) {


  		




  137
  
  
    
                        title = editor.getScript().getName();


  		




  138
  
  
    
                        tabs.setTitleAt(tabs.getSelectedIndex(), title);


  		




  139
  
  
    
                    }


  		




  140
  
  
    
                }


  		




  
  126
  
    
                JMyTabbedPane tabs = (JMyTabbedPane) editor.getParent();


  		




  
  127
  
    
                int index = tabs.getSelectedIndex();


  		




  
  128
  
    
                tabs.setTabChanged(index, mark);


  		




  141
  129
  
    
            } catch (Throwable t) {


  		




  142
  130
  
    
                // Ignore


  		




  143
  131
  
    
            }


  		












Also available in:  Unified diff