tree e8b9e1e0f8cac83cba320d1a69b66b41f977e39f
parent d8b934159572448680f2e39d36188a980fd15564
author Jonas Ruettimann <jonas.ruettimann@fhsg.ch> 1312553288 +0200
committer Jonas Ruettimann <jonas.ruettimann@fhsg.ch> 1312553288 +0200

Bug 353372 - UI Hangs after model crash
Turned all Display.syncExec() methods into Display.asyncExec() methods. This should prevent GUI freezes if calls come from the main Thread.