| products/sources/formale Sprachen/Isabelle/Tools/jEdit/patches/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: agenda.hlp Sprache: IsabelleUntersuchung Isabelle© |
|
||||||
|
diff -ru 5.6.0/jEdit-orig/org/gjt/sp/jedit/browser/VFSBrowser.java 5.6.0/jEdit-patc
--- 5.6.0/jEdit-orig/org/gjt/sp/jedit/browser/VFSBrowser.java 2020-09-03 05:31:04.0 +++ 5.6.0/jEdit-patched/org/gjt/sp/jedit/browser/VFSBrowser.java 2020-09-08 20:13:4 @@ -1194,6 +1194,7 @@ VFSFile[] selectedFiles = browserView.getSelectedFiles(); Buffer buffer = null; + String bufferMarker = null; check_selected: for (VFSFile file : selectedFiles) @@ -1243,7 +1244,10 @@ } if (_buffer != null) + { buffer = _buffer; + bufferMarker = file.getPathMarker(); + } } // otherwise if a file is selected in OPEN_DIALOG or // SAVE_DIALOG mode, just let the listener(s) @@ -1252,21 +1256,30 @@ if(buffer != null) { + View gotoView = null; + switch(mode) { case M_OPEN: view.setBuffer(buffer); + gotoView = view; break; case M_OPEN_NEW_VIEW: - jEdit.newView(view,buffer,false); + gotoView = jEdit.newView(view,buffer,false); break; case M_OPEN_NEW_PLAIN_VIEW: - jEdit.newView(view,buffer,true); + gotoView = jEdit.newView(view,buffer,true); break; case M_OPEN_NEW_SPLIT: view.splitHorizontally().setBuffer(buffer); + gotoView = view; break; } + + if (gotoView != null && bufferMarker != null) + { + jEdit.gotoMarker(gotoView, buffer, bufferMarker); + } } Object[] listeners = listenerList.getListenerList(); diff -ru 5.6.0/jEdit-orig/org/gjt/sp/jedit/io/VFSFile.java 5.6.0/jEdit-patched/org/ --- 5.6.0/jEdit-orig/org/gjt/sp/jedit/io/VFSFile.java 2020-09-03 05:31:03.000000000 +++ 5.6.0/jEdit-patched/org/gjt/sp/jedit/io/VFSFile.java 2020-09-08 20:13:45.348505 @@ -302,6 +302,12 @@ } } //}}} + //{{{ getPathMarker() method (for jEdit.gotoMarker) + public String getPathMarker() + { + return null; + } //}}} + //{{{ getPath() method public String getPath() { diff -ru 5.6.0/jEdit-orig/org/gjt/sp/jedit/jEdit.java 5.6.0/jEdit-patched/org/gjt/s --- 5.6.0/jEdit-orig/org/gjt/sp/jedit/jEdit.java 2020-09-03 05:31:01.000000000 +0200 +++ 5.6.0/jEdit-patched/org/gjt/sp/jedit/jEdit.java 2020-09-08 20:13:45.348505646 +0 @@ -4242,7 +4242,7 @@ } //}}} //{{{ gotoMarker() method - private static void gotoMarker(final View view, final Buffer buffer, + public static void gotoMarker(final View view, final Buffer buffer, final String marker) { AwtRunnableQueue.INSTANCE.runAfterIoTasks(new Runnable() ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.24Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
