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