[gnoduino] disable unfunctional menu options



commit 17b7431b6182517e5c8e3e122eb8892100b6e746
Author: Pascal de Bruijn <pmjdebruijn pcode nl>
Date:   Tue Apr 29 00:45:38 2014 +0200

    disable unfunctional menu options

 src/ui.py  |    2 --
 ui/main.ui |   28 ----------------------------
 2 files changed, 0 insertions(+), 30 deletions(-)
---
diff --git a/src/ui.py b/src/ui.py
index c891ff8..7596f1c 100644
--- a/src/ui.py
+++ b/src/ui.py
@@ -484,7 +484,6 @@ menus = [
                ("menu-save-as", csave_as, (ord('s'), gtk.gdk.CONTROL_MASK|gtk.gdk.SHIFT_MASK)),
                ("menu-quit", quit, (ord('q'), gtk.gdk.CONTROL_MASK)),
                ("menu-find", find, (ord('f'), gtk.gdk.CONTROL_MASK)),
-               ("menu-replace", srpl, (ord('h'), gtk.gdk.CONTROL_MASK)),
                ("menu-undo", undo, (ord('z'), gtk.gdk.CONTROL_MASK)),
                ("menu-redo", redo, (ord('z'), gtk.gdk.CONTROL_MASK|gtk.gdk.SHIFT_MASK)),
                ("menu-cut", cut, (ord('x'), gtk.gdk.CONTROL_MASK)),
@@ -505,7 +504,6 @@ def menu(gui):
        [gui.get_object(i[0]).add_accelerator("activate", \
                accel, i[2][0], i[2][1], 0) for i in menus if i[2][0] != None]
        mainwin.add_accel_group(accel)
-       gui.get_object("menu-find-next").set_sensitive(False)
 
 def setupSpinner():
        if gtk.pygtk_version >= (2,22,00):
diff --git a/ui/main.ui b/ui/main.ui
index b472717..dbe00b9 100644
--- a/ui/main.ui
+++ b/ui/main.ui
@@ -962,25 +962,6 @@ Pascal de Bruijn &lt;pmjdebruijn pcode nl&gt;</property>
                         <property name="accel_group">mainaccelgrp</property>
                       </object>
                     </child>
-                    <child>
-                      <object class="GtkMenuItem" id="menu-find-next">
-                        <property name="use_action_appearance">False</property>
-                        <property name="visible">True</property>
-                        <property name="can_focus">False</property>
-                        <property name="label" translatable="yes">Find Next</property>
-                      </object>
-                    </child>
-                    <child>
-                      <object class="GtkImageMenuItem" id="menu-replace">
-                        <property name="label">gtk-find-and-replace</property>
-                        <property name="use_action_appearance">False</property>
-                        <property name="visible">True</property>
-                        <property name="can_focus">False</property>
-                        <property name="use_underline">True</property>
-                        <property name="use_stock">True</property>
-                        <property name="accel_group">mainaccelgrp</property>
-                      </object>
-                    </child>
                   </object>
                 </child>
               </object>
@@ -1040,15 +1021,6 @@ Pascal de Bruijn &lt;pmjdebruijn pcode nl&gt;</property>
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
                     <child>
-                      <object class="GtkMenuItem" id="menuitem10">
-                        <property name="use_action_appearance">False</property>
-                        <property name="visible">True</property>
-                        <property name="can_focus">False</property>
-                        <property name="label" translatable="yes">Auto Format</property>
-                        <property name="use_underline">True</property>
-                      </object>
-                    </child>
-                    <child>
                       <object class="GtkMenuItem" id="ser_monitor">
                         <property name="use_action_appearance">False</property>
                         <property name="visible">True</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]