diff options
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 @@ | |||
| 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> |