diff options
author | Li Zefan <lizf@cn.fujitsu.com> | 2010-04-13 23:44:51 -0400 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2010-04-14 09:34:18 -0400 |
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 b1c86c19292..909f5a457ac 100644 --- a/scripts/kconfig/gconf.glade +++ b/scripts/kconfig/gconf.glade | |||
@@ -200,16 +200,6 @@ | |||
200 | </widget> | 200 | </widget> |
201 | </child> | 201 | </child> |
202 | 202 | ||
203 | <child> | ||
204 | <widget class="GtkCheckMenuItem" id="show_debug_info1"> | ||
205 | <property name="visible">True</property> | ||
206 | <property name="tooltip" translatable="yes">Show masked options</property> | ||
207 | <property name="label" translatable="yes">Show _debug info</property> | ||
208 | <property name="use_underline">True</property> | ||
209 | <property name="active">False</property> | ||
210 | <signal name="activate" handler="on_show_debug_info1_activate"/> | ||
211 | </widget> | ||
212 | </child> | ||
213 | </widget> | 203 | </widget> |
214 | </child> | 204 | </child> |
215 | </widget> | 205 | </widget> |