The source project of this merge request has been removed.
Remove unnecessary space in preferences dialog
Currently the space which separates the Tabs and Windows and Context Menu sections is twice as big.
Currently the space which separates the Tabs and Windows and Context Menu sections is twice as big.