+// Called when the user clicks on one of the colors in an open color selector.
+// Sets the desired color and then closes the color selector.
+
+function NotesClickColor(evt, uid, red, green, blue) {
+ uid_of_note_being_colored = uid;
+ d = $('palette-' + uid_of_note_being_colored);
+
+ alert('FIXME red=' + red + ' green=' + green + ' blue=' + blue);
+
+ d.style.display = 'none';
+}
+