musescore/MuseScore — pull request #140 by mgavioli (2012-12-06 00:02:48+00:00)
Title: Fix 19211: NoteDot visibility

Allows to turn on/off visibility of note dot separately from note head visibility.

See http://musescore.org/en/node/19211 for remarks.