diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-26 15:29:04 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-26 15:29:04 +0200 |
commit | 6f6a9d9c09c0cca1afc8701cccbf504c52054aad (patch) | |
tree | 660e108db92fbe13aea6beb7d20ec4b51eeb0295 /doc/classes/OptionButton.xml | |
parent | d483a85a0ff4462fe7bff5d5ff6ea69c66cab417 (diff) |
Simplify editor settings related to window dimming
Only a single checkbox is now exposed to control whether the editor
window should be dimmed when opening a popup. The main use case
for disabling it is picking colors from the editor window while
a popup is open.
Diffstat (limited to 'doc/classes/OptionButton.xml')
0 files changed, 0 insertions, 0 deletions