|
From: <iam...@us...> - 2010-03-15 16:20:26
|
Revision: 1316
http://eulergui.svn.sourceforge.net/eulergui/?rev=1316&view=rev
Author: iamlolive
Date: 2010-03-15 16:20:17 +0000 (Mon, 15 Mar 2010)
Log Message:
-----------
some more utility methods for TextEditor (setOnTop, addWindowListener, ...)
Modified Paths:
--------------
trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java
Modified: trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java
===================================================================
--- trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java 2010-03-15 16:19:02 UTC (rev 1315)
+++ trunk/eulergui/src/main/java/eulergui/gui/view/TextEditor.java 2010-03-15 16:20:17 UTC (rev 1316)
@@ -52,6 +52,7 @@
private N3Source n3;
private boolean edited;
private JEditTextArea jedit;
+ public JFrame jf;
static {
suffix2syntax.put("n3", new N3TokenMarker());
@@ -71,12 +72,29 @@
suffix2syntax.put("umlt", new ShellScriptTokenMarker());
}
+ public void setOnTop(){
+ if(jf!=null) {
+ jf.setAlwaysOnTop(true);
+ jf.setAlwaysOnTop(false);
+ }
+ }
+
+ public void addWindowListener(WindowListener l){
+ if(jf!=null)
+ jf.addWindowListener(l);
+ }
+
+ public void removeWindowListener(WindowListener l){
+ if(jf!=null)
+ jf.removeWindowListener(l);
+ }
+
/**
* display N3 Editor in a new Window, with save As and Statistics in File menu
*/
public void displayEditor(ProjectGUI projectGUI, N3Source n3) {
try {
- JFrame jf = new JFrame(
+ jf = new JFrame(
EditorManagement.fileToOpen(n3));
JComponent embededEditor = embedEditor(n3);
@@ -163,6 +181,11 @@
removeTooltipOnNextEdit();
}
+ public void showError(String errorMessage, int lineNumber, int columnNumber) {
+ setToolTipText(errorMessage);
+ setCaretPosition(lineNumber, columnNumber);
+ }
+
private void removeTooltipOnNextEdit() {
final DocumentListener tooltipRemover = new DocumentListener() {
@Override
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|