Stop button

moo/mooapp/mooapp.c

@@ -965,7 +965,7 @@ add_python_plugin_actions (MooApp *app)
 
     xml = moo_app_get_ui_xml (app);
     moo_ui_xml_add_item (xml, moo_ui_xml_new_merge_id (xml),
-                         "Editor/Menubar/Tools", "ReloadPythonPlugins",
+                         "ToolsMenu", "ReloadPythonPlugins",
                          "ReloadPythonPlugins", -1);
 
     g_type_class_unref (klass);

moo/moopython/mooapp-pygtk.defs

@@ -1,3 +1,4 @@
+;; kate: lang scheme; strip on;
 ;; hand-edited
 
 (define-object App
@@ -193,7 +194,7 @@
     '("GtkWidget*" "parent")
   )
 )
-
+    
 (define-method get_ui_xml
   (of-object "MooApp")
   (c-name "moo_app_get_ui_xml")

moo/moopython/mooapp-pygtk.override

@@ -1,3 +1,4 @@
+/* kate: lang C; indent-width 4; space-indent on; strip on; */
 %%
 headers
 #include <Python.h>

moo/moopython/mooedit-pygtk.defs

@@ -1,3 +1,4 @@
+;; kate: lang scheme; strip on;
 ;; hand-edited
 
 ; object definitions ...
@@ -212,6 +213,7 @@
   (return-type "gboolean")
   (parameters
     '("const-char*" "cmd")
+    '("const-char*" "job_name" (null-ok) (default "NULL"))
   )
 )
 
@@ -500,6 +502,29 @@
   )
 )
 
+(define-method add_stop_client
+  (of-object "MooEditWindow")
+  (c-name "moo_edit_window_add_stop_client")
+  (return-type "none")
+  (parameters
+    '("GObject*" "client")
+  )
+)
+
+(define-method remove_stop_client
+  (of-object "MooEditWindow")
+  (c-name "moo_edit_window_remove_stop_client")
+  (return-type "none")
+  (parameters
+    '("GObject*" "client")
+  )
+)
+
+(define-method abort_jobs
+  (of-object "MooEditWindow")
+  (c-name "moo_edit_window_abort_jobs")
+  (return-type "none")
+)
 
 
 ;; From mooindenter.h

moo/moopython/mooedit-pygtk.override

@@ -1,3 +1,4 @@
+/* kate: lang C; indent-width 4; space-indent on; strip on; */
 %%
 headers
 #include <Python.h>

moo/moopython/mooterm-pygtk.override

@@ -1,3 +1,4 @@
+/* kate: lang C; indent-width 4; space-indent on; strip on; */
 %%
 headers
 #include <Python.h>

moo/moopython/mooutils-pygtk.defs

@@ -1,3 +1,4 @@
+;; kate: lang scheme; strip on;
 ;; Hand-edited
 
 (define-object BigPaned

moo/moopython/mooutils-pygtk.override

@@ -1,3 +1,4 @@
+/* kate: lang C; indent-width 4; space-indent on; strip on; */
 %%
 headers
 #include <Python.h>

moo/moopython/plugins/pystuff.py

@@ -42,7 +42,7 @@ class Plugin(moo.edit.Plugin):
                            label="Show Log Window",
                            callback=self.show_log_window)
             self.actions.append(a)
-            self.ui.append(UIInfo("Editor/Menubar/Tools", "ShowLogWindow"))
+            self.ui.append(UIInfo("ToolsMenu", "ShowLogWindow"))
 
         if have_pyconsole:
             a = ActionInfo(moo.edit.EditWindow, "ShowPythonConsole",
@@ -50,7 +50,7 @@ class Plugin(moo.edit.Plugin):
                            label="Show Python Console",
                            callback=self.show_console)
             self.actions.append(a)
-            self.ui.append(UIInfo("Editor/Menubar/Tools", "ShowPythonConsole"))
+            self.ui.append(UIInfo("ToolsMenu", "ShowPythonConsole"))
 
         """ Run file """
         self.file_pat = re.compile(r'\s*File\s*"([^"]+)",\s*line\s*(\d+).*')
@@ -61,7 +61,7 @@ class Plugin(moo.edit.Plugin):
                        accel="<shift>F9",
                        callback=self.run_file)
         self.actions.append(a)
-        self.ui.append(UIInfo("Editor/Menubar/Tools", "RunFile"))
+        self.ui.append(UIInfo("ToolsMenu", "RunFile"))
 
     def show_log_window(self, window):
         moo.app.get_instance().show_python_console()

tests/medit-ui.xml

@@ -58,7 +58,13 @@
       <separator/>
     </item>
 
-    <item name="Tools" label="_Tools"/>
+    <item name="Tools" label="_Tools">
+      <separator/>
+      <placeholder name="ToolsMenu"/>
+      <separator/>
+      <item action="StopJob"/>
+      <separator/>
+    </item>
 
     <item name="Settings" label="_Settings">
       <separator/>
@@ -98,6 +104,11 @@
     <item action="Replace"/>
 
     <separator/>
+    <placeholder name="BuildToolbar">
+      <item action="StopJob"/>
+    </placeholder>
+    <separator/>
+
   </widget> <!-- Toolbar -->
 
 </object> <!-- Editor -->