+ /**
+ * Deselects all notes.
+ */
+ public void addSelected(MooNoteElement elem) {
+ selected.add(elem);
+ }
+
+ /**
+ * Deselects all notes.
+ */
+ public void removeSelected(MooNoteElement elem) {
+ selected.remove(selected.indexOf(elem));
+ }
+
+ /**
+ * Deselects all notes.
+ */
+ public void deselectAll() {
+ Iterator it = selected.iterator();
+ while(it.hasNext()) {
+ ((MooNoteElement)it.next()).deselect();
+ }
+ selected.clear();
+ }
+