# 
# patch "query.ml"
#  from [acdeef859b8d7d2e3cef094a832c02f6a6322feb]
#    to [97fa8ac5a8cb5475ab17904e9721d53b9dd5f680]
# 
========================================================================
--- query.ml	acdeef859b8d7d2e3cef094a832c02f6a6322feb
+++ query.ml	97fa8ac5a8cb5475ab17904e9721d53b9dd5f680
@@ -90,7 +90,7 @@
   let (packing, set_label) = category "Results" ~expand:true vbox in
   let { model = model } as m = make_model () in
   let packing = View.wrap_in_scroll_window packing in
-  let v = GTree.view ~model ~headers_clickable:true ~packing ~height:100 () in
+  let v = GTree.view ~model ~packing ~height:100 () in
   let add_string_renderer ?(props=[]) title col =
     let vc = GTree.view_column ~title () in
     let r = GTree.cell_renderer_text props in
@@ -140,7 +140,8 @@
     | `CLOSE | `DELETE_EVENT -> 
 	w#misc#hide ()
     | `CLEAR ->
-	clear_model m
+	clear_model m ;
+	set_label 0
     | `QUERY ->
 	let results =
 	  do_query 
@@ -159,6 +160,7 @@
     (function
       | `CLEAR ->
 	  clear_model m ;
+	  set_label 0 ;
 	  w#set_response_sensitive `QUERY false
       | `UPDATE_BEGIN ->
 	  w#set_response_sensitive `QUERY true