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