|
From: <iam...@us...> - 2010-03-17 11:03:40
|
Revision: 1324
http://eulergui.svn.sourceforge.net/eulergui/?rev=1324&view=rev
Author: iamlolive
Date: 2010-03-17 11:03:33 +0000 (Wed, 17 Mar 2010)
Log Message:
-----------
Titles of editors can now have an appendable text, after the edited file name
Modified Paths:
--------------
trunk/eulergui/src/main/java/n3_project/EditorManagement.java
Modified: trunk/eulergui/src/main/java/n3_project/EditorManagement.java
===================================================================
--- trunk/eulergui/src/main/java/n3_project/EditorManagement.java 2010-03-17 09:31:11 UTC (rev 1323)
+++ trunk/eulergui/src/main/java/n3_project/EditorManagement.java 2010-03-17 11:03:33 UTC (rev 1324)
@@ -120,7 +120,11 @@
public Map<N3Source,TextEditor> n3SourceToEditor = new HashMap<N3Source, TextEditor>();
- public TextEditor openJavaEditor( final N3Source n3 ) {
+ public TextEditor openJavaEditor( final N3Source n3 ) {
+ return openJavaEditor(n3,"");
+ }
+
+ public TextEditor openJavaEditor( final N3Source n3, String titleAppendance ) {
final TextEditor editor;
if(!n3SourceToEditor.containsKey(n3)){
editor = new TextEditor();
@@ -170,6 +174,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.
|