diff options
| author | Sven Gothel <[email protected]> | 2011-09-06 16:25:18 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-09-06 16:25:18 +0200 |
| commit | 3766fc329ec27c09f7e71bbf705defc44a8bedac (patch) | |
| tree | 51593bad661a96b9cac5218deff569a4ad21a9a8 /.externalToolBuilders | |
| parent | 667d3f6a08ba5c4574df0d4f3fd27a47dc1c228d (diff) | |
NEWT/ScreenMode: setCurrentScreenMode() shall only act if new mode differs; On X11 use Thread.sleep(), more cooperative.
In case newMode == currentMode, this caused an error,
since X11 would never receive mode change events.
Thread.sleep() is nicer for the X11/WM .. cooperative multitasking :)
Diffstat (limited to '.externalToolBuilders')
0 files changed, 0 insertions, 0 deletions