0001 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
0002
0003 <glade-interface>
0004
0005 <widget class="GtkWindow" id="window1">
0006 <property name="visible">True</property>
0007 <property name="title" translatable="yes">Gtk Kernel Configurator</property>
0008 <property name="type">GTK_WINDOW_TOPLEVEL</property>
0009 <property name="window_position">GTK_WIN_POS_NONE</property>
0010 <property name="modal">False</property>
0011 <property name="default_width">640</property>
0012 <property name="default_height">480</property>
0013 <property name="resizable">True</property>
0014 <property name="destroy_with_parent">False</property>
0015 <property name="decorated">True</property>
0016 <property name="skip_taskbar_hint">False</property>
0017 <property name="skip_pager_hint">False</property>
0018 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
0019 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
0020 <signal name="destroy" handler="on_window1_destroy" object="window1"/>
0021 <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/>
0022 <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/>
0023
0024 <child>
0025 <widget class="GtkVBox" id="vbox1">
0026 <property name="visible">True</property>
0027 <property name="homogeneous">False</property>
0028 <property name="spacing">0</property>
0029
0030 <child>
0031 <widget class="GtkMenuBar" id="menubar1">
0032 <property name="visible">True</property>
0033
0034 <child>
0035 <widget class="GtkMenuItem" id="file1">
0036 <property name="visible">True</property>
0037 <property name="label" translatable="yes">_File</property>
0038 <property name="use_underline">True</property>
0039
0040 <child>
0041 <widget class="GtkMenu" id="file1_menu">
0042
0043 <child>
0044 <widget class="GtkImageMenuItem" id="load1">
0045 <property name="visible">True</property>
0046 <property name="tooltip" translatable="yes">Load a config file</property>
0047 <property name="label" translatable="yes">_Load</property>
0048 <property name="use_underline">True</property>
0049 <signal name="activate" handler="on_load1_activate"/>
0050 <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
0051
0052 <child internal-child="image">
0053 <widget class="GtkImage" id="image39">
0054 <property name="visible">True</property>
0055 <property name="stock">gtk-open</property>
0056 <property name="icon_size">1</property>
0057 <property name="xalign">0.5</property>
0058 <property name="yalign">0.5</property>
0059 <property name="xpad">0</property>
0060 <property name="ypad">0</property>
0061 </widget>
0062 </child>
0063 </widget>
0064 </child>
0065
0066 <child>
0067 <widget class="GtkImageMenuItem" id="save1">
0068 <property name="visible">True</property>
0069 <property name="tooltip" translatable="yes">Save the config in .config</property>
0070 <property name="label" translatable="yes">_Save</property>
0071 <property name="use_underline">True</property>
0072 <signal name="activate" handler="on_save_activate"/>
0073 <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
0074
0075 <child internal-child="image">
0076 <widget class="GtkImage" id="image40">
0077 <property name="visible">True</property>
0078 <property name="stock">gtk-save</property>
0079 <property name="icon_size">1</property>
0080 <property name="xalign">0.5</property>
0081 <property name="yalign">0.5</property>
0082 <property name="xpad">0</property>
0083 <property name="ypad">0</property>
0084 </widget>
0085 </child>
0086 </widget>
0087 </child>
0088
0089 <child>
0090 <widget class="GtkImageMenuItem" id="save_as1">
0091 <property name="visible">True</property>
0092 <property name="tooltip" translatable="yes">Save the config in a file</property>
0093 <property name="label" translatable="yes">Save _as</property>
0094 <property name="use_underline">True</property>
0095 <signal name="activate" handler="on_save_as1_activate"/>
0096
0097 <child internal-child="image">
0098 <widget class="GtkImage" id="image41">
0099 <property name="visible">True</property>
0100 <property name="stock">gtk-save-as</property>
0101 <property name="icon_size">1</property>
0102 <property name="xalign">0.5</property>
0103 <property name="yalign">0.5</property>
0104 <property name="xpad">0</property>
0105 <property name="ypad">0</property>
0106 </widget>
0107 </child>
0108 </widget>
0109 </child>
0110
0111 <child>
0112 <widget class="GtkSeparatorMenuItem" id="separator1">
0113 <property name="visible">True</property>
0114 </widget>
0115 </child>
0116
0117 <child>
0118 <widget class="GtkImageMenuItem" id="quit1">
0119 <property name="visible">True</property>
0120 <property name="label" translatable="yes">_Quit</property>
0121 <property name="use_underline">True</property>
0122 <signal name="activate" handler="on_quit1_activate"/>
0123 <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
0124
0125 <child internal-child="image">
0126 <widget class="GtkImage" id="image42">
0127 <property name="visible">True</property>
0128 <property name="stock">gtk-quit</property>
0129 <property name="icon_size">1</property>
0130 <property name="xalign">0.5</property>
0131 <property name="yalign">0.5</property>
0132 <property name="xpad">0</property>
0133 <property name="ypad">0</property>
0134 </widget>
0135 </child>
0136 </widget>
0137 </child>
0138 </widget>
0139 </child>
0140 </widget>
0141 </child>
0142
0143 <child>
0144 <widget class="GtkMenuItem" id="options1">
0145 <property name="visible">True</property>
0146 <property name="label" translatable="yes">_Options</property>
0147 <property name="use_underline">True</property>
0148
0149 <child>
0150 <widget class="GtkMenu" id="options1_menu">
0151
0152 <child>
0153 <widget class="GtkCheckMenuItem" id="show_name1">
0154 <property name="visible">True</property>
0155 <property name="tooltip" translatable="yes">Show name</property>
0156 <property name="label" translatable="yes">Show _name</property>
0157 <property name="use_underline">True</property>
0158 <property name="active">False</property>
0159 <signal name="activate" handler="on_show_name1_activate"/>
0160 </widget>
0161 </child>
0162
0163 <child>
0164 <widget class="GtkCheckMenuItem" id="show_range1">
0165 <property name="visible">True</property>
0166 <property name="tooltip" translatable="yes">Show range (Y/M/N)</property>
0167 <property name="label" translatable="yes">Show _range</property>
0168 <property name="use_underline">True</property>
0169 <property name="active">False</property>
0170 <signal name="activate" handler="on_show_range1_activate"/>
0171 </widget>
0172 </child>
0173
0174 <child>
0175 <widget class="GtkCheckMenuItem" id="show_data1">
0176 <property name="visible">True</property>
0177 <property name="tooltip" translatable="yes">Show value of the option</property>
0178 <property name="label" translatable="yes">Show _data</property>
0179 <property name="use_underline">True</property>
0180 <property name="active">False</property>
0181 <signal name="activate" handler="on_show_data1_activate"/>
0182 </widget>
0183 </child>
0184
0185 <child>
0186 <widget class="GtkSeparatorMenuItem" id="separator2">
0187 <property name="visible">True</property>
0188 </widget>
0189 </child>
0190
0191 <child>
0192 <widget class="GtkRadioMenuItem" id="set_option_mode1">
0193 <property name="visible">True</property>
0194 <property name="tooltip" translatable="yes">Show normal options</property>
0195 <property name="label" translatable="yes">Show normal options</property>
0196 <property name="use_underline">True</property>
0197 <property name="active">True</property>
0198 <signal name="activate" handler="on_set_option_mode1_activate"/>
0199 </widget>
0200 </child>
0201
0202 <child>
0203 <widget class="GtkRadioMenuItem" id="set_option_mode2">
0204 <property name="visible">True</property>
0205 <property name="tooltip" translatable="yes">Show all options</property>
0206 <property name="label" translatable="yes">Show all _options</property>
0207 <property name="use_underline">True</property>
0208 <property name="active">False</property>
0209 <property name="group">set_option_mode1</property>
0210 <signal name="activate" handler="on_set_option_mode2_activate"/>
0211 </widget>
0212 </child>
0213
0214 <child>
0215 <widget class="GtkRadioMenuItem" id="set_option_mode3">
0216 <property name="visible">True</property>
0217 <property name="tooltip" translatable="yes">Show all options with prompts</property>
0218 <property name="label" translatable="yes">Show all prompt options</property>
0219 <property name="use_underline">True</property>
0220 <property name="active">False</property>
0221 <property name="group">set_option_mode1</property>
0222 <signal name="activate" handler="on_set_option_mode3_activate"/>
0223 </widget>
0224 </child>
0225
0226 </widget>
0227 </child>
0228 </widget>
0229 </child>
0230
0231 <child>
0232 <widget class="GtkMenuItem" id="help1">
0233 <property name="visible">True</property>
0234 <property name="label" translatable="yes">_Help</property>
0235 <property name="use_underline">True</property>
0236
0237 <child>
0238 <widget class="GtkMenu" id="help1_menu">
0239
0240 <child>
0241 <widget class="GtkImageMenuItem" id="introduction1">
0242 <property name="visible">True</property>
0243 <property name="label" translatable="yes">_Introduction</property>
0244 <property name="use_underline">True</property>
0245 <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
0246 <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
0247
0248 <child internal-child="image">
0249 <widget class="GtkImage" id="image43">
0250 <property name="visible">True</property>
0251 <property name="stock">gtk-dialog-question</property>
0252 <property name="icon_size">1</property>
0253 <property name="xalign">0.5</property>
0254 <property name="yalign">0.5</property>
0255 <property name="xpad">0</property>
0256 <property name="ypad">0</property>
0257 </widget>
0258 </child>
0259 </widget>
0260 </child>
0261
0262 <child>
0263 <widget class="GtkImageMenuItem" id="about1">
0264 <property name="visible">True</property>
0265 <property name="label" translatable="yes">_About</property>
0266 <property name="use_underline">True</property>
0267 <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
0268 <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
0269
0270 <child internal-child="image">
0271 <widget class="GtkImage" id="image44">
0272 <property name="visible">True</property>
0273 <property name="stock">gtk-properties</property>
0274 <property name="icon_size">1</property>
0275 <property name="xalign">0.5</property>
0276 <property name="yalign">0.5</property>
0277 <property name="xpad">0</property>
0278 <property name="ypad">0</property>
0279 </widget>
0280 </child>
0281 </widget>
0282 </child>
0283
0284 <child>
0285 <widget class="GtkImageMenuItem" id="license1">
0286 <property name="visible">True</property>
0287 <property name="label" translatable="yes">_License</property>
0288 <property name="use_underline">True</property>
0289 <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
0290
0291 <child internal-child="image">
0292 <widget class="GtkImage" id="image45">
0293 <property name="visible">True</property>
0294 <property name="stock">gtk-justify-fill</property>
0295 <property name="icon_size">1</property>
0296 <property name="xalign">0.5</property>
0297 <property name="yalign">0.5</property>
0298 <property name="xpad">0</property>
0299 <property name="ypad">0</property>
0300 </widget>
0301 </child>
0302 </widget>
0303 </child>
0304 </widget>
0305 </child>
0306 </widget>
0307 </child>
0308 </widget>
0309 <packing>
0310 <property name="padding">0</property>
0311 <property name="expand">False</property>
0312 <property name="fill">False</property>
0313 </packing>
0314 </child>
0315
0316 <child>
0317 <widget class="GtkHandleBox" id="handlebox1">
0318 <property name="visible">True</property>
0319 <property name="shadow_type">GTK_SHADOW_OUT</property>
0320 <property name="handle_position">GTK_POS_LEFT</property>
0321 <property name="snap_edge">GTK_POS_TOP</property>
0322
0323 <child>
0324 <widget class="GtkToolbar" id="toolbar1">
0325 <property name="visible">True</property>
0326 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
0327 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
0328 <property name="tooltips">True</property>
0329 <property name="show_arrow">True</property>
0330
0331 <child>
0332 <widget class="GtkToolButton" id="button1">
0333 <property name="visible">True</property>
0334 <property name="tooltip" translatable="yes">Goes up of one level (single view)</property>
0335 <property name="label" translatable="yes">Back</property>
0336 <property name="use_underline">True</property>
0337 <property name="stock_id">gtk-undo</property>
0338 <property name="visible_horizontal">True</property>
0339 <property name="visible_vertical">True</property>
0340 <property name="is_important">False</property>
0341 <signal name="clicked" handler="on_back_clicked"/>
0342 </widget>
0343 <packing>
0344 <property name="expand">False</property>
0345 <property name="homogeneous">True</property>
0346 </packing>
0347 </child>
0348
0349 <child>
0350 <widget class="GtkToolItem" id="toolitem1">
0351 <property name="visible">True</property>
0352 <property name="visible_horizontal">True</property>
0353 <property name="visible_vertical">True</property>
0354 <property name="is_important">False</property>
0355
0356 <child>
0357 <widget class="GtkVSeparator" id="vseparator1">
0358 <property name="visible">True</property>
0359 </widget>
0360 </child>
0361 </widget>
0362 <packing>
0363 <property name="expand">False</property>
0364 <property name="homogeneous">False</property>
0365 </packing>
0366 </child>
0367
0368 <child>
0369 <widget class="GtkToolButton" id="button2">
0370 <property name="visible">True</property>
0371 <property name="tooltip" translatable="yes">Load a config file</property>
0372 <property name="label" translatable="yes">Load</property>
0373 <property name="use_underline">True</property>
0374 <property name="stock_id">gtk-open</property>
0375 <property name="visible_horizontal">True</property>
0376 <property name="visible_vertical">True</property>
0377 <property name="is_important">False</property>
0378 <signal name="clicked" handler="on_load_clicked"/>
0379 </widget>
0380 <packing>
0381 <property name="expand">False</property>
0382 <property name="homogeneous">True</property>
0383 </packing>
0384 </child>
0385
0386 <child>
0387 <widget class="GtkToolButton" id="button3">
0388 <property name="visible">True</property>
0389 <property name="tooltip" translatable="yes">Save a config file</property>
0390 <property name="label" translatable="yes">Save</property>
0391 <property name="use_underline">True</property>
0392 <property name="stock_id">gtk-save</property>
0393 <property name="visible_horizontal">True</property>
0394 <property name="visible_vertical">True</property>
0395 <property name="is_important">False</property>
0396 <signal name="clicked" handler="on_save_activate"/>
0397 </widget>
0398 <packing>
0399 <property name="expand">False</property>
0400 <property name="homogeneous">True</property>
0401 </packing>
0402 </child>
0403
0404 <child>
0405 <widget class="GtkToolItem" id="toolitem2">
0406 <property name="visible">True</property>
0407 <property name="visible_horizontal">True</property>
0408 <property name="visible_vertical">True</property>
0409 <property name="is_important">False</property>
0410
0411 <child>
0412 <widget class="GtkVSeparator" id="vseparator2">
0413 <property name="visible">True</property>
0414 </widget>
0415 </child>
0416 </widget>
0417 <packing>
0418 <property name="expand">False</property>
0419 <property name="homogeneous">False</property>
0420 </packing>
0421 </child>
0422
0423 <child>
0424 <widget class="GtkToolButton" id="button4">
0425 <property name="visible">True</property>
0426 <property name="tooltip" translatable="yes">Single view</property>
0427 <property name="label" translatable="yes">Single</property>
0428 <property name="use_underline">True</property>
0429 <property name="stock_id">gtk-missing-image</property>
0430 <property name="visible_horizontal">True</property>
0431 <property name="visible_vertical">True</property>
0432 <property name="is_important">False</property>
0433 <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/>
0434 </widget>
0435 <packing>
0436 <property name="expand">False</property>
0437 <property name="homogeneous">True</property>
0438 </packing>
0439 </child>
0440
0441 <child>
0442 <widget class="GtkToolButton" id="button5">
0443 <property name="visible">True</property>
0444 <property name="tooltip" translatable="yes">Split view</property>
0445 <property name="label" translatable="yes">Split</property>
0446 <property name="use_underline">True</property>
0447 <property name="stock_id">gtk-missing-image</property>
0448 <property name="visible_horizontal">True</property>
0449 <property name="visible_vertical">True</property>
0450 <property name="is_important">False</property>
0451 <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/>
0452 </widget>
0453 <packing>
0454 <property name="expand">False</property>
0455 <property name="homogeneous">True</property>
0456 </packing>
0457 </child>
0458
0459 <child>
0460 <widget class="GtkToolButton" id="button6">
0461 <property name="visible">True</property>
0462 <property name="tooltip" translatable="yes">Full view</property>
0463 <property name="label" translatable="yes">Full</property>
0464 <property name="use_underline">True</property>
0465 <property name="stock_id">gtk-missing-image</property>
0466 <property name="visible_horizontal">True</property>
0467 <property name="visible_vertical">True</property>
0468 <property name="is_important">False</property>
0469 <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/>
0470 </widget>
0471 <packing>
0472 <property name="expand">False</property>
0473 <property name="homogeneous">True</property>
0474 </packing>
0475 </child>
0476
0477 <child>
0478 <widget class="GtkToolItem" id="toolitem3">
0479 <property name="visible">True</property>
0480 <property name="visible_horizontal">True</property>
0481 <property name="visible_vertical">True</property>
0482 <property name="is_important">False</property>
0483
0484 <child>
0485 <widget class="GtkVSeparator" id="vseparator3">
0486 <property name="visible">True</property>
0487 </widget>
0488 </child>
0489 </widget>
0490 <packing>
0491 <property name="expand">False</property>
0492 <property name="homogeneous">False</property>
0493 </packing>
0494 </child>
0495
0496 <child>
0497 <widget class="GtkToolButton" id="button7">
0498 <property name="visible">True</property>
0499 <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property>
0500 <property name="label" translatable="yes">Collapse</property>
0501 <property name="use_underline">True</property>
0502 <property name="stock_id">gtk-remove</property>
0503 <property name="visible_horizontal">True</property>
0504 <property name="visible_vertical">True</property>
0505 <property name="is_important">False</property>
0506 <signal name="clicked" handler="on_collapse_clicked"/>
0507 </widget>
0508 <packing>
0509 <property name="expand">False</property>
0510 <property name="homogeneous">True</property>
0511 </packing>
0512 </child>
0513
0514 <child>
0515 <widget class="GtkToolButton" id="button8">
0516 <property name="visible">True</property>
0517 <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property>
0518 <property name="label" translatable="yes">Expand</property>
0519 <property name="use_underline">True</property>
0520 <property name="stock_id">gtk-add</property>
0521 <property name="visible_horizontal">True</property>
0522 <property name="visible_vertical">True</property>
0523 <property name="is_important">False</property>
0524 <signal name="clicked" handler="on_expand_clicked"/>
0525 </widget>
0526 <packing>
0527 <property name="expand">False</property>
0528 <property name="homogeneous">True</property>
0529 </packing>
0530 </child>
0531 </widget>
0532 </child>
0533 </widget>
0534 <packing>
0535 <property name="padding">0</property>
0536 <property name="expand">False</property>
0537 <property name="fill">False</property>
0538 </packing>
0539 </child>
0540
0541 <child>
0542 <widget class="GtkHPaned" id="hpaned1">
0543 <property name="width_request">1</property>
0544 <property name="visible">True</property>
0545 <property name="can_focus">True</property>
0546 <property name="position">0</property>
0547
0548 <child>
0549 <widget class="GtkScrolledWindow" id="scrolledwindow1">
0550 <property name="visible">True</property>
0551 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
0552 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
0553 <property name="shadow_type">GTK_SHADOW_IN</property>
0554 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
0555
0556 <child>
0557 <widget class="GtkTreeView" id="treeview1">
0558 <property name="visible">True</property>
0559 <property name="can_focus">True</property>
0560 <property name="headers_visible">True</property>
0561 <property name="rules_hint">False</property>
0562 <property name="reorderable">False</property>
0563 <property name="enable_search">False</property>
0564 <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/>
0565 <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/>
0566 <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/>
0567 </widget>
0568 </child>
0569 </widget>
0570 <packing>
0571 <property name="shrink">True</property>
0572 <property name="resize">False</property>
0573 </packing>
0574 </child>
0575
0576 <child>
0577 <widget class="GtkVPaned" id="vpaned1">
0578 <property name="visible">True</property>
0579 <property name="can_focus">True</property>
0580 <property name="position">0</property>
0581
0582 <child>
0583 <widget class="GtkScrolledWindow" id="scrolledwindow2">
0584 <property name="visible">True</property>
0585 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
0586 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
0587 <property name="shadow_type">GTK_SHADOW_IN</property>
0588 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
0589
0590 <child>
0591 <widget class="GtkTreeView" id="treeview2">
0592 <property name="visible">True</property>
0593 <property name="can_focus">True</property>
0594 <property name="has_focus">True</property>
0595 <property name="headers_visible">True</property>
0596 <property name="rules_hint">False</property>
0597 <property name="reorderable">False</property>
0598 <property name="enable_search">False</property>
0599 <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/>
0600 <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/>
0601 <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/>
0602 </widget>
0603 </child>
0604 </widget>
0605 <packing>
0606 <property name="shrink">True</property>
0607 <property name="resize">False</property>
0608 </packing>
0609 </child>
0610
0611 <child>
0612 <widget class="GtkScrolledWindow" id="scrolledwindow3">
0613 <property name="visible">True</property>
0614 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
0615 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
0616 <property name="shadow_type">GTK_SHADOW_IN</property>
0617 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
0618
0619 <child>
0620 <widget class="GtkTextView" id="textview3">
0621 <property name="visible">True</property>
0622 <property name="can_focus">True</property>
0623 <property name="editable">False</property>
0624 <property name="overwrite">False</property>
0625 <property name="accepts_tab">True</property>
0626 <property name="justification">GTK_JUSTIFY_LEFT</property>
0627 <property name="wrap_mode">GTK_WRAP_WORD</property>
0628 <property name="cursor_visible">True</property>
0629 <property name="pixels_above_lines">0</property>
0630 <property name="pixels_below_lines">0</property>
0631 <property name="pixels_inside_wrap">0</property>
0632 <property name="left_margin">0</property>
0633 <property name="right_margin">0</property>
0634 <property name="indent">0</property>
0635 <property name="text" translatable="yes">Sorry, no help available for this option yet.</property>
0636 </widget>
0637 </child>
0638 </widget>
0639 <packing>
0640 <property name="shrink">True</property>
0641 <property name="resize">True</property>
0642 </packing>
0643 </child>
0644 </widget>
0645 <packing>
0646 <property name="shrink">True</property>
0647 <property name="resize">True</property>
0648 </packing>
0649 </child>
0650 </widget>
0651 <packing>
0652 <property name="padding">0</property>
0653 <property name="expand">True</property>
0654 <property name="fill">True</property>
0655 </packing>
0656 </child>
0657 </widget>
0658 </child>
0659 </widget>
0660
0661 </glade-interface>
