[patch] improve exit menu item UI visual performance

I noticed when you did a File->exit operation, the file menu appears to stay ‘stuck’ open until the application exits. This is normal because spark is disconnecting from the server and invoking all of the onExit handlers, which takes a couple of seconds to do.

All this patch does is wrap the contents inside the MainWindow.shutdown() method with that SwingUtilities.invokeLater(), so as to cause the visual experience of clicking “exit” menu item to have the menu visibly close itself right away.

Patch is against current SVN (r11719 at this time).
file_exit_ui_responsiveness-r11719.patch.zip (597 Bytes)