From: <iam...@us...> - 2010-03-17 13:26:26
|
Revision: 1329 http://eulergui.svn.sourceforge.net/eulergui/?rev=1329&view=rev Author: iamlolive Date: 2010-03-17 13:26:19 +0000 (Wed, 17 Mar 2010) Log Message: ----------- editors now always show on top. 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:48:24 UTC (rev 1328) +++ trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java 2010-03-17 13:26:19 UTC (rev 1329) @@ -180,6 +180,7 @@ public void showError(String errorMessage, int lineNumber, int columnNumber) { setToolTipText(errorMessage); setCaretPosition(lineNumber, columnNumber); + setOnTop(); } public void removeTooltipOnNextEdit() { Modified: trunk/eulergui/src/main/java/n3_project/EditorManagement.java =================================================================== --- trunk/eulergui/src/main/java/n3_project/EditorManagement.java 2010-03-17 11:48:24 UTC (rev 1328) +++ trunk/eulergui/src/main/java/n3_project/EditorManagement.java 2010-03-17 13:26:19 UTC (rev 1329) @@ -176,8 +176,9 @@ } else { editor = n3SourceToEditor.get(n3); - editor.setOnTop(); + } + editor.setOnTop(); return editor; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |