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();
}
}
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();
}
}
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);
}