Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Re #7950. Make sure variable is converted to the right type.
It seems that the settings are stored differently on different platforms and on linux this was reading in as a string instead of a boolean.
- Loading branch information