diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-13 11:00:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-13 11:00:33 +0100 |
| commit | c46004c5a343fbc5256af7df0d52ed52cf7721ca (patch) | |
| tree | e2e3796c323ec07c59dda4b3c8123374b4a6b48d /servers | |
| parent | 6d15e157329840732452e66a944186d9f230f8d1 (diff) | |
| parent | 9080232f1768e6a7a7ab1b5e9c65f59aa19b2cc0 (diff) | |
Merge pull request #7970 from Hinsbart/dim_editor
Editor: Dim UI when a WindowDialog is shown.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions