Closes #100 -- Double-click now selects all symbols of the given class. Does *not* deprecate shift+s.
Closes #100 -- Double-click now selects all symbols of the given class. Does *not* deprecate shift+s.

hajicj/MUSCIMarker