cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

gconf.glade (25642B)


      1<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
      2
      3<glade-interface>
      4
      5<widget class="GtkWindow" id="window1">
      6  <property name="visible">True</property>
      7  <property name="title" translatable="yes">Gtk Kernel Configurator</property>
      8  <property name="type">GTK_WINDOW_TOPLEVEL</property>
      9  <property name="window_position">GTK_WIN_POS_NONE</property>
     10  <property name="modal">False</property>
     11  <property name="default_width">640</property>
     12  <property name="default_height">480</property>
     13  <property name="resizable">True</property>
     14  <property name="destroy_with_parent">False</property>
     15  <property name="decorated">True</property>
     16  <property name="skip_taskbar_hint">False</property>
     17  <property name="skip_pager_hint">False</property>
     18  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
     19  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
     20  <signal name="destroy" handler="on_window1_destroy" object="window1"/>
     21  <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/>
     22  <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/>
     23
     24  <child>
     25    <widget class="GtkVBox" id="vbox1">
     26      <property name="visible">True</property>
     27      <property name="homogeneous">False</property>
     28      <property name="spacing">0</property>
     29
     30      <child>
     31	<widget class="GtkMenuBar" id="menubar1">
     32	  <property name="visible">True</property>
     33
     34	  <child>
     35	    <widget class="GtkMenuItem" id="file1">
     36	      <property name="visible">True</property>
     37	      <property name="label" translatable="yes">_File</property>
     38	      <property name="use_underline">True</property>
     39
     40	      <child>
     41		<widget class="GtkMenu" id="file1_menu">
     42
     43		  <child>
     44		    <widget class="GtkImageMenuItem" id="load1">
     45		      <property name="visible">True</property>
     46		      <property name="tooltip" translatable="yes">Load a config file</property>
     47		      <property name="label" translatable="yes">_Load</property>
     48		      <property name="use_underline">True</property>
     49		      <signal name="activate" handler="on_load1_activate"/>
     50		      <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
     51
     52		      <child internal-child="image">
     53			<widget class="GtkImage" id="image39">
     54			  <property name="visible">True</property>
     55			  <property name="stock">gtk-open</property>
     56			  <property name="icon_size">1</property>
     57			  <property name="xalign">0.5</property>
     58			  <property name="yalign">0.5</property>
     59			  <property name="xpad">0</property>
     60			  <property name="ypad">0</property>
     61			</widget>
     62		      </child>
     63		    </widget>
     64		  </child>
     65
     66		  <child>
     67		    <widget class="GtkImageMenuItem" id="save1">
     68		      <property name="visible">True</property>
     69		      <property name="tooltip" translatable="yes">Save the config in .config</property>
     70		      <property name="label" translatable="yes">_Save</property>
     71		      <property name="use_underline">True</property>
     72		      <signal name="activate" handler="on_save_activate"/>
     73		      <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
     74
     75		      <child internal-child="image">
     76			<widget class="GtkImage" id="image40">
     77			  <property name="visible">True</property>
     78			  <property name="stock">gtk-save</property>
     79			  <property name="icon_size">1</property>
     80			  <property name="xalign">0.5</property>
     81			  <property name="yalign">0.5</property>
     82			  <property name="xpad">0</property>
     83			  <property name="ypad">0</property>
     84			</widget>
     85		      </child>
     86		    </widget>
     87		  </child>
     88
     89		  <child>
     90		    <widget class="GtkImageMenuItem" id="save_as1">
     91		      <property name="visible">True</property>
     92		      <property name="tooltip" translatable="yes">Save the config in a file</property>
     93		      <property name="label" translatable="yes">Save _as</property>
     94		      <property name="use_underline">True</property>
     95		      <signal name="activate" handler="on_save_as1_activate"/>
     96
     97		      <child internal-child="image">
     98			<widget class="GtkImage" id="image41">
     99			  <property name="visible">True</property>
    100			  <property name="stock">gtk-save-as</property>
    101			  <property name="icon_size">1</property>
    102			  <property name="xalign">0.5</property>
    103			  <property name="yalign">0.5</property>
    104			  <property name="xpad">0</property>
    105			  <property name="ypad">0</property>
    106			</widget>
    107		      </child>
    108		    </widget>
    109		  </child>
    110
    111		  <child>
    112		    <widget class="GtkSeparatorMenuItem" id="separator1">
    113		      <property name="visible">True</property>
    114		    </widget>
    115		  </child>
    116
    117		  <child>
    118		    <widget class="GtkImageMenuItem" id="quit1">
    119		      <property name="visible">True</property>
    120		      <property name="label" translatable="yes">_Quit</property>
    121		      <property name="use_underline">True</property>
    122		      <signal name="activate" handler="on_quit1_activate"/>
    123		      <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
    124
    125		      <child internal-child="image">
    126			<widget class="GtkImage" id="image42">
    127			  <property name="visible">True</property>
    128			  <property name="stock">gtk-quit</property>
    129			  <property name="icon_size">1</property>
    130			  <property name="xalign">0.5</property>
    131			  <property name="yalign">0.5</property>
    132			  <property name="xpad">0</property>
    133			  <property name="ypad">0</property>
    134			</widget>
    135		      </child>
    136		    </widget>
    137		  </child>
    138		</widget>
    139	      </child>
    140	    </widget>
    141	  </child>
    142
    143	  <child>
    144	    <widget class="GtkMenuItem" id="options1">
    145	      <property name="visible">True</property>
    146	      <property name="label" translatable="yes">_Options</property>
    147	      <property name="use_underline">True</property>
    148
    149	      <child>
    150		<widget class="GtkMenu" id="options1_menu">
    151
    152		  <child>
    153		    <widget class="GtkCheckMenuItem" id="show_name1">
    154		      <property name="visible">True</property>
    155		      <property name="tooltip" translatable="yes">Show name</property>
    156		      <property name="label" translatable="yes">Show _name</property>
    157		      <property name="use_underline">True</property>
    158		      <property name="active">False</property>
    159		      <signal name="activate" handler="on_show_name1_activate"/>
    160		    </widget>
    161		  </child>
    162
    163		  <child>
    164		    <widget class="GtkCheckMenuItem" id="show_range1">
    165		      <property name="visible">True</property>
    166		      <property name="tooltip" translatable="yes">Show range (Y/M/N)</property>
    167		      <property name="label" translatable="yes">Show _range</property>
    168		      <property name="use_underline">True</property>
    169		      <property name="active">False</property>
    170		      <signal name="activate" handler="on_show_range1_activate"/>
    171		    </widget>
    172		  </child>
    173
    174		  <child>
    175		    <widget class="GtkCheckMenuItem" id="show_data1">
    176		      <property name="visible">True</property>
    177		      <property name="tooltip" translatable="yes">Show value of the option</property>
    178		      <property name="label" translatable="yes">Show _data</property>
    179		      <property name="use_underline">True</property>
    180		      <property name="active">False</property>
    181		      <signal name="activate" handler="on_show_data1_activate"/>
    182		    </widget>
    183		  </child>
    184
    185		  <child>
    186		    <widget class="GtkSeparatorMenuItem" id="separator2">
    187		      <property name="visible">True</property>
    188		    </widget>
    189		  </child>
    190
    191		  <child>
    192		    <widget class="GtkRadioMenuItem" id="set_option_mode1">
    193		      <property name="visible">True</property>
    194		      <property name="tooltip" translatable="yes">Show normal options</property>
    195		      <property name="label" translatable="yes">Show normal options</property>
    196		      <property name="use_underline">True</property>
    197		      <property name="active">True</property>
    198		      <signal name="activate" handler="on_set_option_mode1_activate"/>
    199		    </widget>
    200		  </child>
    201
    202		  <child>
    203		    <widget class="GtkRadioMenuItem" id="set_option_mode2">
    204		      <property name="visible">True</property>
    205		      <property name="tooltip" translatable="yes">Show all options</property>
    206		      <property name="label" translatable="yes">Show all _options</property>
    207		      <property name="use_underline">True</property>
    208		      <property name="active">False</property>
    209		      <property name="group">set_option_mode1</property>
    210		      <signal name="activate" handler="on_set_option_mode2_activate"/>
    211		    </widget>
    212		  </child>
    213
    214		  <child>
    215		    <widget class="GtkRadioMenuItem" id="set_option_mode3">
    216		      <property name="visible">True</property>
    217		      <property name="tooltip" translatable="yes">Show all options with prompts</property>
    218		      <property name="label" translatable="yes">Show all prompt options</property>
    219		      <property name="use_underline">True</property>
    220		      <property name="active">False</property>
    221		      <property name="group">set_option_mode1</property>
    222		      <signal name="activate" handler="on_set_option_mode3_activate"/>
    223		    </widget>
    224		  </child>
    225
    226		</widget>
    227	      </child>
    228	    </widget>
    229	  </child>
    230
    231	  <child>
    232	    <widget class="GtkMenuItem" id="help1">
    233	      <property name="visible">True</property>
    234	      <property name="label" translatable="yes">_Help</property>
    235	      <property name="use_underline">True</property>
    236
    237	      <child>
    238		<widget class="GtkMenu" id="help1_menu">
    239
    240		  <child>
    241		    <widget class="GtkImageMenuItem" id="introduction1">
    242		      <property name="visible">True</property>
    243		      <property name="label" translatable="yes">_Introduction</property>
    244		      <property name="use_underline">True</property>
    245		      <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
    246		      <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
    247
    248		      <child internal-child="image">
    249			<widget class="GtkImage" id="image43">
    250			  <property name="visible">True</property>
    251			  <property name="stock">gtk-dialog-question</property>
    252			  <property name="icon_size">1</property>
    253			  <property name="xalign">0.5</property>
    254			  <property name="yalign">0.5</property>
    255			  <property name="xpad">0</property>
    256			  <property name="ypad">0</property>
    257			</widget>
    258		      </child>
    259		    </widget>
    260		  </child>
    261
    262		  <child>
    263		    <widget class="GtkImageMenuItem" id="about1">
    264		      <property name="visible">True</property>
    265		      <property name="label" translatable="yes">_About</property>
    266		      <property name="use_underline">True</property>
    267		      <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
    268		      <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
    269
    270		      <child internal-child="image">
    271			<widget class="GtkImage" id="image44">
    272			  <property name="visible">True</property>
    273			  <property name="stock">gtk-properties</property>
    274			  <property name="icon_size">1</property>
    275			  <property name="xalign">0.5</property>
    276			  <property name="yalign">0.5</property>
    277			  <property name="xpad">0</property>
    278			  <property name="ypad">0</property>
    279			</widget>
    280		      </child>
    281		    </widget>
    282		  </child>
    283
    284		  <child>
    285		    <widget class="GtkImageMenuItem" id="license1">
    286		      <property name="visible">True</property>
    287		      <property name="label" translatable="yes">_License</property>
    288		      <property name="use_underline">True</property>
    289		      <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
    290
    291		      <child internal-child="image">
    292			<widget class="GtkImage" id="image45">
    293			  <property name="visible">True</property>
    294			  <property name="stock">gtk-justify-fill</property>
    295			  <property name="icon_size">1</property>
    296			  <property name="xalign">0.5</property>
    297			  <property name="yalign">0.5</property>
    298			  <property name="xpad">0</property>
    299			  <property name="ypad">0</property>
    300			</widget>
    301		      </child>
    302		    </widget>
    303		  </child>
    304		</widget>
    305	      </child>
    306	    </widget>
    307	  </child>
    308	</widget>
    309	<packing>
    310	  <property name="padding">0</property>
    311	  <property name="expand">False</property>
    312	  <property name="fill">False</property>
    313	</packing>
    314      </child>
    315
    316      <child>
    317	<widget class="GtkHandleBox" id="handlebox1">
    318	  <property name="visible">True</property>
    319	  <property name="shadow_type">GTK_SHADOW_OUT</property>
    320	  <property name="handle_position">GTK_POS_LEFT</property>
    321	  <property name="snap_edge">GTK_POS_TOP</property>
    322
    323	  <child>
    324	    <widget class="GtkToolbar" id="toolbar1">
    325	      <property name="visible">True</property>
    326	      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
    327	      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
    328	      <property name="tooltips">True</property>
    329	      <property name="show_arrow">True</property>
    330
    331	      <child>
    332		<widget class="GtkToolButton" id="button1">
    333		  <property name="visible">True</property>
    334		  <property name="tooltip" translatable="yes">Goes up of one level (single view)</property>
    335		  <property name="label" translatable="yes">Back</property>
    336		  <property name="use_underline">True</property>
    337		  <property name="stock_id">gtk-undo</property>
    338		  <property name="visible_horizontal">True</property>
    339		  <property name="visible_vertical">True</property>
    340		  <property name="is_important">False</property>
    341		  <signal name="clicked" handler="on_back_clicked"/>
    342		</widget>
    343		<packing>
    344		  <property name="expand">False</property>
    345		  <property name="homogeneous">True</property>
    346		</packing>
    347	      </child>
    348
    349	      <child>
    350		<widget class="GtkToolItem" id="toolitem1">
    351		  <property name="visible">True</property>
    352		  <property name="visible_horizontal">True</property>
    353		  <property name="visible_vertical">True</property>
    354		  <property name="is_important">False</property>
    355
    356		  <child>
    357		    <widget class="GtkVSeparator" id="vseparator1">
    358		      <property name="visible">True</property>
    359		    </widget>
    360		  </child>
    361		</widget>
    362		<packing>
    363		  <property name="expand">False</property>
    364		  <property name="homogeneous">False</property>
    365		</packing>
    366	      </child>
    367
    368	      <child>
    369		<widget class="GtkToolButton" id="button2">
    370		  <property name="visible">True</property>
    371		  <property name="tooltip" translatable="yes">Load a config file</property>
    372		  <property name="label" translatable="yes">Load</property>
    373		  <property name="use_underline">True</property>
    374		  <property name="stock_id">gtk-open</property>
    375		  <property name="visible_horizontal">True</property>
    376		  <property name="visible_vertical">True</property>
    377		  <property name="is_important">False</property>
    378		  <signal name="clicked" handler="on_load_clicked"/>
    379		</widget>
    380		<packing>
    381		  <property name="expand">False</property>
    382		  <property name="homogeneous">True</property>
    383		</packing>
    384	      </child>
    385
    386	      <child>
    387		<widget class="GtkToolButton" id="button3">
    388		  <property name="visible">True</property>
    389		  <property name="tooltip" translatable="yes">Save a config file</property>
    390		  <property name="label" translatable="yes">Save</property>
    391		  <property name="use_underline">True</property>
    392		  <property name="stock_id">gtk-save</property>
    393		  <property name="visible_horizontal">True</property>
    394		  <property name="visible_vertical">True</property>
    395		  <property name="is_important">False</property>
    396		  <signal name="clicked" handler="on_save_activate"/>
    397		</widget>
    398		<packing>
    399		  <property name="expand">False</property>
    400		  <property name="homogeneous">True</property>
    401		</packing>
    402	      </child>
    403
    404	      <child>
    405		<widget class="GtkToolItem" id="toolitem2">
    406		  <property name="visible">True</property>
    407		  <property name="visible_horizontal">True</property>
    408		  <property name="visible_vertical">True</property>
    409		  <property name="is_important">False</property>
    410
    411		  <child>
    412		    <widget class="GtkVSeparator" id="vseparator2">
    413		      <property name="visible">True</property>
    414		    </widget>
    415		  </child>
    416		</widget>
    417		<packing>
    418		  <property name="expand">False</property>
    419		  <property name="homogeneous">False</property>
    420		</packing>
    421	      </child>
    422
    423	      <child>
    424		<widget class="GtkToolButton" id="button4">
    425		  <property name="visible">True</property>
    426		  <property name="tooltip" translatable="yes">Single view</property>
    427		  <property name="label" translatable="yes">Single</property>
    428		  <property name="use_underline">True</property>
    429		  <property name="stock_id">gtk-missing-image</property>
    430		  <property name="visible_horizontal">True</property>
    431		  <property name="visible_vertical">True</property>
    432		  <property name="is_important">False</property>
    433		  <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/>
    434		</widget>
    435		<packing>
    436		  <property name="expand">False</property>
    437		  <property name="homogeneous">True</property>
    438		</packing>
    439	      </child>
    440
    441	      <child>
    442		<widget class="GtkToolButton" id="button5">
    443		  <property name="visible">True</property>
    444		  <property name="tooltip" translatable="yes">Split view</property>
    445		  <property name="label" translatable="yes">Split</property>
    446		  <property name="use_underline">True</property>
    447		  <property name="stock_id">gtk-missing-image</property>
    448		  <property name="visible_horizontal">True</property>
    449		  <property name="visible_vertical">True</property>
    450		  <property name="is_important">False</property>
    451		  <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/>
    452		</widget>
    453		<packing>
    454		  <property name="expand">False</property>
    455		  <property name="homogeneous">True</property>
    456		</packing>
    457	      </child>
    458
    459	      <child>
    460		<widget class="GtkToolButton" id="button6">
    461		  <property name="visible">True</property>
    462		  <property name="tooltip" translatable="yes">Full view</property>
    463		  <property name="label" translatable="yes">Full</property>
    464		  <property name="use_underline">True</property>
    465		  <property name="stock_id">gtk-missing-image</property>
    466		  <property name="visible_horizontal">True</property>
    467		  <property name="visible_vertical">True</property>
    468		  <property name="is_important">False</property>
    469		  <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/>
    470		</widget>
    471		<packing>
    472		  <property name="expand">False</property>
    473		  <property name="homogeneous">True</property>
    474		</packing>
    475	      </child>
    476
    477	      <child>
    478		<widget class="GtkToolItem" id="toolitem3">
    479		  <property name="visible">True</property>
    480		  <property name="visible_horizontal">True</property>
    481		  <property name="visible_vertical">True</property>
    482		  <property name="is_important">False</property>
    483
    484		  <child>
    485		    <widget class="GtkVSeparator" id="vseparator3">
    486		      <property name="visible">True</property>
    487		    </widget>
    488		  </child>
    489		</widget>
    490		<packing>
    491		  <property name="expand">False</property>
    492		  <property name="homogeneous">False</property>
    493		</packing>
    494	      </child>
    495
    496	      <child>
    497		<widget class="GtkToolButton" id="button7">
    498		  <property name="visible">True</property>
    499		  <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property>
    500		  <property name="label" translatable="yes">Collapse</property>
    501		  <property name="use_underline">True</property>
    502		  <property name="stock_id">gtk-remove</property>
    503		  <property name="visible_horizontal">True</property>
    504		  <property name="visible_vertical">True</property>
    505		  <property name="is_important">False</property>
    506		  <signal name="clicked" handler="on_collapse_clicked"/>
    507		</widget>
    508		<packing>
    509		  <property name="expand">False</property>
    510		  <property name="homogeneous">True</property>
    511		</packing>
    512	      </child>
    513
    514	      <child>
    515		<widget class="GtkToolButton" id="button8">
    516		  <property name="visible">True</property>
    517		  <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property>
    518		  <property name="label" translatable="yes">Expand</property>
    519		  <property name="use_underline">True</property>
    520		  <property name="stock_id">gtk-add</property>
    521		  <property name="visible_horizontal">True</property>
    522		  <property name="visible_vertical">True</property>
    523		  <property name="is_important">False</property>
    524		  <signal name="clicked" handler="on_expand_clicked"/>
    525		</widget>
    526		<packing>
    527		  <property name="expand">False</property>
    528		  <property name="homogeneous">True</property>
    529		</packing>
    530	      </child>
    531	    </widget>
    532	  </child>
    533	</widget>
    534	<packing>
    535	  <property name="padding">0</property>
    536	  <property name="expand">False</property>
    537	  <property name="fill">False</property>
    538	</packing>
    539      </child>
    540
    541      <child>
    542	<widget class="GtkHPaned" id="hpaned1">
    543	  <property name="width_request">1</property>
    544	  <property name="visible">True</property>
    545	  <property name="can_focus">True</property>
    546	  <property name="position">0</property>
    547
    548	  <child>
    549	    <widget class="GtkScrolledWindow" id="scrolledwindow1">
    550	      <property name="visible">True</property>
    551	      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
    552	      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
    553	      <property name="shadow_type">GTK_SHADOW_IN</property>
    554	      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
    555
    556	      <child>
    557		<widget class="GtkTreeView" id="treeview1">
    558		  <property name="visible">True</property>
    559		  <property name="can_focus">True</property>
    560		  <property name="headers_visible">True</property>
    561		  <property name="rules_hint">False</property>
    562		  <property name="reorderable">False</property>
    563		  <property name="enable_search">False</property>
    564		  <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/>
    565		  <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/>
    566		  <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/>
    567		</widget>
    568	      </child>
    569	    </widget>
    570	    <packing>
    571	      <property name="shrink">True</property>
    572	      <property name="resize">False</property>
    573	    </packing>
    574	  </child>
    575
    576	  <child>
    577	    <widget class="GtkVPaned" id="vpaned1">
    578	      <property name="visible">True</property>
    579	      <property name="can_focus">True</property>
    580	      <property name="position">0</property>
    581
    582	      <child>
    583		<widget class="GtkScrolledWindow" id="scrolledwindow2">
    584		  <property name="visible">True</property>
    585		  <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
    586		  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
    587		  <property name="shadow_type">GTK_SHADOW_IN</property>
    588		  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
    589
    590		  <child>
    591		    <widget class="GtkTreeView" id="treeview2">
    592		      <property name="visible">True</property>
    593		      <property name="can_focus">True</property>
    594		      <property name="has_focus">True</property>
    595		      <property name="headers_visible">True</property>
    596		      <property name="rules_hint">False</property>
    597		      <property name="reorderable">False</property>
    598		      <property name="enable_search">False</property>
    599		      <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/>
    600		      <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/>
    601		      <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/>
    602		    </widget>
    603		  </child>
    604		</widget>
    605		<packing>
    606		  <property name="shrink">True</property>
    607		  <property name="resize">False</property>
    608		</packing>
    609	      </child>
    610
    611	      <child>
    612		<widget class="GtkScrolledWindow" id="scrolledwindow3">
    613		  <property name="visible">True</property>
    614		  <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
    615		  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
    616		  <property name="shadow_type">GTK_SHADOW_IN</property>
    617		  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
    618
    619		  <child>
    620		    <widget class="GtkTextView" id="textview3">
    621		      <property name="visible">True</property>
    622		      <property name="can_focus">True</property>
    623		      <property name="editable">False</property>
    624		      <property name="overwrite">False</property>
    625		      <property name="accepts_tab">True</property>
    626		      <property name="justification">GTK_JUSTIFY_LEFT</property>
    627		      <property name="wrap_mode">GTK_WRAP_WORD</property>
    628		      <property name="cursor_visible">True</property>
    629		      <property name="pixels_above_lines">0</property>
    630		      <property name="pixels_below_lines">0</property>
    631		      <property name="pixels_inside_wrap">0</property>
    632		      <property name="left_margin">0</property>
    633		      <property name="right_margin">0</property>
    634		      <property name="indent">0</property>
    635		      <property name="text" translatable="yes">Sorry, no help available for this option yet.</property>
    636		    </widget>
    637		  </child>
    638		</widget>
    639		<packing>
    640		  <property name="shrink">True</property>
    641		  <property name="resize">True</property>
    642		</packing>
    643	      </child>
    644	    </widget>
    645	    <packing>
    646	      <property name="shrink">True</property>
    647	      <property name="resize">True</property>
    648	    </packing>
    649	  </child>
    650	</widget>
    651	<packing>
    652	  <property name="padding">0</property>
    653	  <property name="expand">True</property>
    654	  <property name="fill">True</property>
    655	</packing>
    656      </child>
    657    </widget>
    658  </child>
    659</widget>
    660
    661</glade-interface>