musescore/MuseScore — pull request #302 by mgavioli (2013-04-19 23:38:06+00:00)
Title: Staff: expose _userDist member variable in Staff Properties dlg box.

This allows to modify (and to check) the extra user distance above the staff via numeric input in addition to mouse dragging operations.