diff options
Diffstat (limited to 'scripts/kconfig/gconf.glade')
| -rw-r--r-- | scripts/kconfig/gconf.glade | 26 |
1 files changed, 20 insertions, 6 deletions
diff --git a/scripts/kconfig/gconf.glade b/scripts/kconfig/gconf.glade index b1c86c19292c..d52b0a75d824 100644 --- a/scripts/kconfig/gconf.glade +++ b/scripts/kconfig/gconf.glade | |||
| @@ -190,26 +190,40 @@ | |||
| 190 | </child> | 190 | </child> |
| 191 | 191 | ||
| 192 | <child> | 192 | <child> |
| 193 | <widget class="GtkCheckMenuItem" id="show_all_options1"> | 193 | <widget class="GtkRadioMenuItem" id="set_option_mode1"> |
| 194 | <property name="visible">True</property> | ||
| 195 | <property name="tooltip" translatable="yes">Show normal options</property> | ||
| 196 | <property name="label" translatable="yes">Show normal options</property> | ||
| 197 | <property name="use_underline">True</property> | ||
| 198 | <property name="active">True</property> | ||
| 199 | <signal name="activate" handler="on_set_option_mode1_activate"/> | ||
| 200 | </widget> | ||
| 201 | </child> | ||
| 202 | |||
| 203 | <child> | ||
| 204 | <widget class="GtkRadioMenuItem" id="set_option_mode2"> | ||
| 194 | <property name="visible">True</property> | 205 | <property name="visible">True</property> |
| 195 | <property name="tooltip" translatable="yes">Show all options</property> | 206 | <property name="tooltip" translatable="yes">Show all options</property> |
| 196 | <property name="label" translatable="yes">Show all _options</property> | 207 | <property name="label" translatable="yes">Show all _options</property> |
| 197 | <property name="use_underline">True</property> | 208 | <property name="use_underline">True</property> |
| 198 | <property name="active">False</property> | 209 | <property name="active">False</property> |
| 199 | <signal name="activate" handler="on_show_all_options1_activate"/> | 210 | <property name="group">set_option_mode1</property> |
| 211 | <signal name="activate" handler="on_set_option_mode2_activate"/> | ||
| 200 | </widget> | 212 | </widget> |
| 201 | </child> | 213 | </child> |
| 202 | 214 | ||
| 203 | <child> | 215 | <child> |
| 204 | <widget class="GtkCheckMenuItem" id="show_debug_info1"> | 216 | <widget class="GtkRadioMenuItem" id="set_option_mode3"> |
| 205 | <property name="visible">True</property> | 217 | <property name="visible">True</property> |
| 206 | <property name="tooltip" translatable="yes">Show masked options</property> | 218 | <property name="tooltip" translatable="yes">Show all options with prompts</property> |
| 207 | <property name="label" translatable="yes">Show _debug info</property> | 219 | <property name="label" translatable="yes">Show all prompt options</property> |
| 208 | <property name="use_underline">True</property> | 220 | <property name="use_underline">True</property> |
| 209 | <property name="active">False</property> | 221 | <property name="active">False</property> |
| 210 | <signal name="activate" handler="on_show_debug_info1_activate"/> | 222 | <property name="group">set_option_mode1</property> |
| 223 | <signal name="activate" handler="on_set_option_mode3_activate"/> | ||
| 211 | </widget> | 224 | </widget> |
| 212 | </child> | 225 | </child> |
| 226 | |||
| 213 | </widget> | 227 | </widget> |
| 214 | </child> | 228 | </child> |
| 215 | </widget> | 229 | </widget> |