musescore/MuseScore — pull request #1581 by Jojo-Schmitz (2014-12-27 11:25:23+00:00)
Title: fix #36641: Style/General window too large

a better and permanent solution might be needed