diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-21 10:23:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-21 10:23:52 +0200 |
| commit | 0eec37e24781ff16979ed5ab6c8706a11584c3f5 (patch) | |
| tree | 8163ba2b2590921b6f7a11882dc714772cd26f48 /editor/plugins | |
| parent | 601564e9a9dde2c59e16033052f49f0be360e29f (diff) | |
| parent | 2e74bf488b93efa6f0a8431584943ec178abd7db (diff) | |
Merge pull request #11141 from fcobos/x11_borderless_switch_fix
X11 - Adding borders back to a borderless window was not working.
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions