added setting to preferences dialog

.
2 jobs for !52 with padding in 1 minute and 33 seconds (queued for 3 seconds)
latest merge request