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. |