The size of the general settings dialogue and the size of the tree on its left side can now be changed.
