There is now an settings entry in the Application Menu. The corresponding signal is connected to a open dialog which is defined in "settings_dialog.ui". The options offered there are already the options we're planning to implement, but for now they have no function.