Exemple #1
0
 public static void invalidateAllMarkers() {
   List<Marker> markers = getAllMarkers();
   for (int i = markers.size(); i-- > 0; ) {
     Marker m = markers.get(i);
     if (m != null) m.invalidate();
   }
 }
Exemple #2
0
 public static void invalidateMarkers(Buffer buf) {
   List<Marker> markers = getAllMarkers();
   for (int i = markers.size(); i-- > 0; ) {
     Marker m = markers.get(i);
     if (m != null && m.getBuffer() == buf) m.invalidate();
   }
 }
Exemple #3
0
 public static void selectToMarker(String s) {
   if (s == null) return;
   s = s.trim();
   if (s.length() == 0) return;
   final Editor editor = Editor.currentEditor();
   Marker m = null;
   try {
     final int index = Integer.parseInt(s);
     final Marker[] bookmarks = Editor.getBookmarks();
     if (index >= 0 && index < bookmarks.length) m = bookmarks[index];
   } catch (NumberFormatException e) {
   }
   if (m == null) {
     MessageDialog.showMessageDialog(editor, "No such marker", "Select To Marker");
     return;
   }
   m.selectToMarker(editor);
 }