Files
openide/platform/platform-main
Roman Shevchenko 67c453c326 [platform] unneeded 'invokeLater()' call - revert
The second call is needed to handle the event queue switch.
2016-10-25 10:23:23 +02:00
..