Layout polishing
commit454e7255871750c796e48467bd969532622b7822
authorMartin Tůma <tumic@cbox.cz>
Tue, 6 Oct 2020 22:23:24 +0000 (7 00:23 +0200)
committerMartin Tůma <tumic@cbox.cz>
Tue, 6 Oct 2020 22:23:24 +0000 (7 00:23 +0200)
tree967329260a70a59a9cbec8f086516b4cb526386b
parent15a2df12bd33d2249299ab7286721fcdc360e802
Layout polishing
src/GUI/marginswidget.cpp