Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Command line option for running with some setting set to a given value
There are cases where the default configuration makes impossible to use the application, due to some misbehaviour, like in issue #1560. This new command line option allows users to set any setting to any value. The setting is not saved unless user enters Preferences and saves the current values. This allows overriding the preferences for the session duration from the command line and also overriding the defaults for the first session to work around problems with those defaults. See issue #1588
- Loading branch information