diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-30 10:56:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-30 10:56:58 +0200 |
| commit | 04e4c3a8d38ab623b1ea7ce6dc60f0a7a03484ef (patch) | |
| tree | 79662e73319669b9a8d4a55b43a72178da9234fd /misc | |
| parent | e0dc066ec09236f1286800074cdcc0a254799168 (diff) | |
| parent | ef9f234d2ba5289a84832974e54ea7ace9806717 (diff) | |
Merge pull request #31767 from Calinou/tweak-editor-window-dim
Tweak the editor window dimming intensity, remove dim fade animation
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions