Small bug fixes

- Fixed a bug relating to border sizes
- Fixed a bug where the settings dialog would not open during the first
launch