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/Control.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/Control.xml')
0 files changed, 0 insertions, 0 deletions