diff options
| author | Li Zefan <lizf@cn.fujitsu.com> | 2010-04-14 11:44:51 +0800 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2010-04-14 15:34:18 +0200 |
| commit | 7b5d87215b38359ecadf7a69575b11e140a00484 (patch) | |
| tree | 8efdd6c0d7b429c1ad36366b0e0db61513ef75ed /scripts/kconfig/gconf.glade | |
| parent | 2944235430c37970f82ad57b8ead343ee6065004 (diff) | |
gconfig: remove show_debug option
This option is a no-op, so remove it.
Signed-off-by: Li Zefan <lizf@cn.fujitsu.com>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/kconfig/gconf.glade')
| -rw-r--r-- | scripts/kconfig/gconf.glade | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/scripts/kconfig/gconf.glade b/scripts/kconfig/gconf.glade index b1c86c19292c..909f5a457ac0 100644 --- a/scripts/kconfig/gconf.glade +++ b/scripts/kconfig/gconf.glade @@ -200,16 +200,6 @@ </widget> </child> - <child> - <widget class="GtkCheckMenuItem" id="show_debug_info1"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Show masked options</property> - <property name="label" translatable="yes">Show _debug info</property> - <property name="use_underline">True</property> - <property name="active">False</property> - <signal name="activate" handler="on_show_debug_info1_activate"/> - </widget> - </child> </widget> </child> </widget> |