diff options
Diffstat (limited to 'java/src/IceGridGUI/Main.java')
-rwxr-xr-x | java/src/IceGridGUI/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/Main.java b/java/src/IceGridGUI/Main.java index 47e314ed833..46b688855d4 100755 --- a/java/src/IceGridGUI/Main.java +++ b/java/src/IceGridGUI/Main.java @@ -45,7 +45,7 @@ public class Main extends JFrame setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE); addWindowListener(new WindowAdapter() - { + { public void windowClosing(WindowEvent e) { if(_coordinator != null) |