- made some GUI elements in Edit -> Preferences to have a minimum width as opposed to the previous fixed one