diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-30 19:15:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-30 19:15:04 +0200 |
| commit | e2e73ec906d0671c870ff64eefd15dfc86abaaec (patch) | |
| tree | e7019e15ce5455be5e5d40135e421d83b817417c /servers | |
| parent | 28c21b6c24b9720aaf4ded9e22a2a18f4c8c9655 (diff) | |
| parent | bbcf999e99a2100a17b15934fbebfc09b41b3d5c (diff) | |
Merge pull request #9448 from Noshyaar/pr1
EditorNode: request attention when quit while minimized
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions