From 760ff3c57a3f4e9d2c127f372e81dfb1baada0a6 Mon Sep 17 00:00:00 2001
From: servertood <servertood@40cadd2d-89a2-4482-8f20-0232d845d7e3>
Date: Mon, 10 Nov 2008 03:09:57 +0000
Subject: [PATCH] add run button enable disable

---
 extra/jheidi/queryToolbarEvents.ajl | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

diff --git a/extra/jheidi/queryToolbarEvents.ajl b/extra/jheidi/queryToolbarEvents.ajl
index 41e3ae8a..7f9254fd 100644
--- a/extra/jheidi/queryToolbarEvents.ajl
+++ b/extra/jheidi/queryToolbarEvents.ajl
@@ -51,6 +51,10 @@ if ("Run" == who || "Run Selection" == who )
       String firstQuery = ((String)queries.get(0)).length() > 150? ((String)queries.get(0)).substring(0, 149) : (String)queries.get(0);
       ToolbarButton btn = context.get("/mainTabs/Query/toolbar/Stop");
       btn.setEnabled(true);
+      btn = context.get("/mainTabs/Query/toolbar/Run");
+      btn.setEnabled(false);
+      btn = context.get("/mainTabs/Query/toolbar/Run Selection");
+      btn.setEnabled(false);
       args().put("waitOperation", "user query \"" + firstQuery + "\"...");
       Worker w = worker("runUserQueriesWorker", args());
       args().put("worker", w);
@@ -101,14 +105,19 @@ else if ("Stop" == who)
   ToolbarButton btn = context.get("/mainTabs/Query/toolbar/Stop");
   btn.setEnabled(false);
   
+  btn = context.get("/mainTabs/Query/toolbar/Run");
+  btn.setEnabled(true);
+  
+  if (editor.getSelectedText() != null && editor.getSelectedText().length() > 0)
+  {
+     btn = context.get("/mainTabs/Query/toolbar/Run Selection");
+     btn.setEnabled(true);
+  }
+    
+  
   Worker w = Worker.getWorker("runUserQueriesWorker");
   if ( w != null )
   {
-    DB db = w.getProperty("db");
-    if ( db != null )
-    {
-      db.cancel();
-    }
     w.cancel();
   }