diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-07-26 18:55:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-26 18:55:31 +0200 |
commit | 39579d2a6d1a59edfd49d054804f173f0d25d900 (patch) | |
tree | d867148b284847913843e6d9c0693b69d7fa05e4 /doc/classes/VisualServer.xml | |
parent | 67ce3f7424250907681e50e3340a3950b000ca95 (diff) | |
parent | 6f6a9d9c09c0cca1afc8701cccbf504c52054aad (diff) |
Merge pull request #30839 from Calinou/simplify-dim-editor-settings
Simplify editor settings related to window dimming
Diffstat (limited to 'doc/classes/VisualServer.xml')
0 files changed, 0 insertions, 0 deletions