From 4d836c5737ca33a967f2c398adac0c24d692efdd Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 13 Jun 2005 11:30:00 +0000
Subject: [PATCH] Quit actionPerformed

---
 src/jalview/jbgui/GDesktop.java |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index 06340c3..162f7e1 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -80,7 +80,7 @@ public class GDesktop extends JFrame {
         quit.setText("Quit");
         quit.addActionListener(new java.awt.event.ActionListener() {
                 public void actionPerformed(ActionEvent e) {
-                    quit_actionPerformed(e);
+                    quit();
                 }
             });
         aboutMenuItem.setText("About");
@@ -148,7 +148,7 @@ public class GDesktop extends JFrame {
     protected void inputTextboxMenuItem_actionPerformed(ActionEvent e) {
     }
 
-    protected void quit_actionPerformed(ActionEvent e) {
+    protected void quit() {
     }
 
     protected void aboutMenuItem_actionPerformed(ActionEvent e) {
-- 
1.7.10.2