[Eulergui-commits] SF.net SVN: eulergui:[1325] trunk/eulergui/src/main/java

[<iam...@us...>]

Revision: 1325
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1325&view=rev
Author:   iamlolive
Date:     2010-03-17 11:17:43 +0000 (Wed, 17 Mar 2010)

Log Message:
-----------
correct management of title appendance

Modified Paths:
--------------
    trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java
    trunk/eulergui/src/main/java/n3_project/EditorManagement.java

Modified: trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java
===================================================================
--- trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java	2010-03-17 11:03:33 UTC (rev 1324)
+++ trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java	2010-03-17 11:17:43 UTC (rev 1325)
@@ -186,7 +186,7 @@
         setCaretPosition(lineNumber, columnNumber);
     }
 
-    private void removeTooltipOnNextEdit() {
+    public void removeTooltipOnNextEdit() {
        final DocumentListener tooltipRemover = new DocumentListener() {
             @Override
             public void removeUpdate(DocumentEvent e) {
@@ -217,6 +217,37 @@
         jedit.getDocument().addDocumentListener(tooltipRemover);
     }
 
+    public void removeAppendanceOnNextEdit() {
+       final DocumentListener attendanceRemover = new DocumentListener() {
+            @Override
+            public void removeUpdate(DocumentEvent e) {
+                //TODO how to remove our custom Highlight instead of this quick hack ?
+                setTitleAppendance("");
+                jedit.getDocument().removeDocumentListener(this);
+            }
+
+            @Override
+            public void insertUpdate(DocumentEvent e) {
+                //TODO how to remove our custom Highlight instead of this quick hack ?
+                setTitleAppendance("");
+                jedit.getDocument().removeDocumentListener(this);
+            }
+
+            @Override
+            public void changedUpdate(DocumentEvent e) {
+                //TODO how to remove our custom Highlight instead of this quick hack ?
+                setTitleAppendance("");
+                jedit.getDocument().removeDocumentListener(this);
+            }
+
+            @Override
+            public void windowClosing(WindowEvent e) {
+                //super.windowClosing(e);    //To change body of overridden methods use File | Settings | File Templates.
+            }
+        };
+        jedit.getDocument().addDocumentListener(attendanceRemover);
+    }
+
     /**
      * display Editor in a new Window, with save As in File menu
      */
@@ -296,6 +327,19 @@
         jedit.setTokenMarker(syntax);
     }
 
+
+
+    public String getTitleAttendance() {
+        return titleAttendance;
+    }
+
+    public void setTitleAppendance(String titleAttendance) {
+        jf.setTitle(jf.getTitle().substring(0,jf.getTitle().lastIndexOf(getTitleAttendance()))+titleAttendance);
+        this.titleAttendance = titleAttendance;
+    }
+
+    public String titleAttendance = "";
+
     /**
      * records the first modification, to prevent unsaved edits
      * TODO upon Save actions, reset {@link #edited} to false

Modified: trunk/eulergui/src/main/java/n3_project/EditorManagement.java
===================================================================
--- trunk/eulergui/src/main/java/n3_project/EditorManagement.java	2010-03-17 11:03:33 UTC (rev 1324)
+++ trunk/eulergui/src/main/java/n3_project/EditorManagement.java	2010-03-17 11:17:43 UTC (rev 1325)
@@ -120,11 +120,15 @@
 
     public Map<N3Source,TextEditor> n3SourceToEditor = new HashMap<N3Source, TextEditor>();
 
-    public TextEditor openJavaEditor( final N3Source n3 ) {
-        return openJavaEditor(n3,""); 
+    public TextEditor openJavaEditor( final N3Source n3, String titleAppendance , boolean removeAppendanceOnFirstEdit ) {
+        TextEditor editor = openJavaEditor(n3);
+        editor.setTitleAppendance(titleAppendance);
+        if(removeAppendanceOnFirstEdit)
+            editor.removeAppendanceOnNextEdit();
+        return editor;
     }
 
-	public TextEditor openJavaEditor( final N3Source n3, String titleAppendance ) {
+	public TextEditor openJavaEditor( final N3Source n3  ) {
         final TextEditor editor;
         if(!n3SourceToEditor.containsKey(n3)){
             editor = new TextEditor();
@@ -174,7 +178,7 @@
             editor = n3SourceToEditor.get(n3);
             editor.setOnTop();
         }
-        editor.jf.setTitle(n3.showShortName()+ " " + titleAppendance);
+
         return editor;
 
 	}


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.