mcs/doctools/gtk-monodoc/gtk-monodoc.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5 <requires lib="gnome"/>
   6 <requires lib="bonobo"/>
   7
   8 <widget class="GnomeApp" id="main-window">
   9   <property name="visible">True</property>
  10   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  11   <property name="window_position">GTK_WIN_POS_NONE</property>
  12   <property name="modal">False</property>
  13   <property name="default_width">782</property>
  14   <property name="default_height">540</property>
  15   <property name="resizable">True</property>
  16   <property name="destroy_with_parent">False</property>
  17   <property name="enable_layout_config">True</property>
  18
  19   <child internal-child="dock">
  20     <widget class="BonoboDock" id="bonobodock1">
  21       <property name="visible">True</property>
  22       <property name="allow_floating">True</property>
  23
  24       <child>
  25         <widget class="BonoboDockItem" id="bonobodockitem1">
  26           <property name="visible">True</property>
  27           <property name="shadow_type">GTK_SHADOW_NONE</property>
  28
  29           <child>
  30             <widget class="GtkMenuBar" id="menubar1">
  31               <property name="visible">True</property>
  32
  33               <child>
  34                 <widget class="GtkMenuItem" id="file1">
  35                   <property name="visible">True</property>
  36                   <property name="stock_item">GNOMEUIINFO_MENU_FILE_TREE</property>
  37
  38                   <child>
  39                     <widget class="GtkMenu" id="file1_menu">
  40
  41                       <child>
  42                         <widget class="GtkImageMenuItem" id="new1">
  43                           <property name="visible">True</property>
  44                           <property name="stock_item">GNOMEUIINFO_MENU_NEW_ITEM</property>
  45                           <property name="label" translatable="yes">_New</property>
  46                           <property name="use_underline">True</property>
  47                         </widget>
  48                       </child>
  49
  50                       <child>
  51                         <widget class="GtkImageMenuItem" id="open1">
  52                           <property name="visible">True</property>
  53                           <property name="stock_item">GNOMEUIINFO_MENU_OPEN_ITEM</property>
  54                           <signal name="activate" handler="OnOpenActivate" last_modification_time="Fri, 04 Oct 2002 18:26:40 GMT"/>
  55                         </widget>
  56                       </child>
  57
  58                       <child>
  59                         <widget class="GtkImageMenuItem" id="save1">
  60                           <property name="visible">True</property>
  61                           <property name="stock_item">GNOMEUIINFO_MENU_SAVE_ITEM</property>
  62                         </widget>
  63                       </child>
  64
  65                       <child>
  66                         <widget class="GtkMenuItem" id="separator1">
  67                           <property name="visible">True</property>
  68                         </widget>
  69                       </child>
  70
  71                       <child>
  72                         <widget class="GtkImageMenuItem" id="quit1">
  73                           <property name="visible">True</property>
  74                           <property name="stock_item">GNOMEUIINFO_MENU_EXIT_ITEM</property>
  75                         </widget>
  76                       </child>
  77                     </widget>
  78                   </child>
  79                 </widget>
  80               </child>
  81
  82               <child>
  83                 <widget class="GtkMenuItem" id="edit1">
  84                   <property name="visible">True</property>
  85                   <property name="stock_item">GNOMEUIINFO_MENU_EDIT_TREE</property>
  86
  87                   <child>
  88                     <widget class="GtkMenu" id="edit1_menu">
  89
  90                       <child>
  91                         <widget class="GtkImageMenuItem" id="cut1">
  92                           <property name="visible">True</property>
  93                           <property name="stock_item">GNOMEUIINFO_MENU_CUT_ITEM</property>
  94                         </widget>
  95                       </child>
  96
  97                       <child>
  98                         <widget class="GtkImageMenuItem" id="copy1">
  99                           <property name="visible">True</property>
 100                           <property name="stock_item">GNOMEUIINFO_MENU_COPY_ITEM</property>
 101                         </widget>
 102                       </child>
 103
 104                       <child>
 105                         <widget class="GtkImageMenuItem" id="paste1">
 106                           <property name="visible">True</property>
 107                           <property name="stock_item">GNOMEUIINFO_MENU_PASTE_ITEM</property>
 108                         </widget>
 109                       </child>
 110
 111                       <child>
 112                         <widget class="GtkImageMenuItem" id="clear1">
 113                           <property name="visible">True</property>
 114                           <property name="stock_item">GNOMEUIINFO_MENU_CLEAR_ITEM</property>
 115                         </widget>
 116                       </child>
 117
 118                       <child>
 119                         <widget class="GtkMenuItem" id="separator2">
 120                           <property name="visible">True</property>
 121                         </widget>
 122                       </child>
 123
 124                       <child>
 125                         <widget class="GtkImageMenuItem" id="properties1">
 126                           <property name="visible">True</property>
 127                           <property name="stock_item">GNOMEUIINFO_MENU_PROPERTIES_ITEM</property>
 128                         </widget>
 129                       </child>
 130
 131                       <child>
 132                         <widget class="GtkMenuItem" id="separator3">
 133                           <property name="visible">True</property>
 134                         </widget>
 135                       </child>
 136
 137                       <child>
 138                         <widget class="GtkImageMenuItem" id="preferences1">
 139                           <property name="visible">True</property>
 140                           <property name="stock_item">GNOMEUIINFO_MENU_PREFERENCES_ITEM</property>
 141                         </widget>
 142                       </child>
 143                     </widget>
 144                   </child>
 145                 </widget>
 146               </child>
 147
 148               <child>
 149                 <widget class="GtkMenuItem" id="view1">
 150                   <property name="visible">True</property>
 151                   <property name="stock_item">GNOMEUIINFO_MENU_VIEW_TREE</property>
 152                 </widget>
 153               </child>
 154
 155               <child>
 156                 <widget class="GtkMenuItem" id="help1">
 157                   <property name="visible">True</property>
 158                   <property name="stock_item">GNOMEUIINFO_MENU_HELP_TREE</property>
 159
 160                   <child>
 161                     <widget class="GtkMenu" id="help1_menu">
 162
 163                       <child>
 164                         <widget class="GtkImageMenuItem" id="about1">
 165                           <property name="visible">True</property>
 166                           <property name="stock_item">GNOMEUIINFO_MENU_ABOUT_ITEM</property>
 167                           <signal name="activate" handler="OnAboutActivate" last_modification_time="Fri, 04 Oct 2002 18:26:40 GMT"/>
 168                         </widget>
 169                       </child>
 170                     </widget>
 171                   </child>
 172                 </widget>
 173               </child>
 174             </widget>
 175           </child>
 176         </widget>
 177         <packing>
 178           <property name="placement">BONOBO_DOCK_TOP</property>
 179           <property name="band">0</property>
 180           <property name="position">0</property>
 181           <property name="offset">0</property>
 182           <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE|BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL|BONOBO_DOCK_ITEM_BEH_LOCKED</property>
 183         </packing>
 184       </child>
 185
 186       <child>
 187         <widget class="BonoboDockItem" id="bonobodockitem2">
 188           <property name="visible">True</property>
 189           <property name="shadow_type">GTK_SHADOW_OUT</property>
 190
 191           <child>
 192             <widget class="GtkToolbar" id="toolbar1">
 193               <property name="border_width">1</property>
 194               <property name="visible">True</property>
 195               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 196               <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 197               <property name="tooltips">True</property>
 198
 199               <child>
 200                 <widget class="button" id="button1">
 201                   <property name="visible">True</property>
 202                   <property name="tooltip" translatable="yes">New File</property>
 203                   <property name="label">gtk-new</property>
 204                   <property name="use_stock">True</property>
 205                 </widget>
 206               </child>
 207
 208               <child>
 209                 <widget class="button" id="button2">
 210                   <property name="visible">True</property>
 211                   <property name="tooltip" translatable="yes">Open File</property>
 212                   <property name="label">gtk-open</property>
 213                   <property name="use_stock">True</property>
 214                   <signal name="clicked" handler="OnOpenActivate" last_modification_time="Fri, 04 Oct 2002 18:38:58 GMT"/>
 215                 </widget>
 216               </child>
 217
 218               <child>
 219                 <widget class="button" id="button3">
 220                   <property name="visible">True</property>
 221                   <property name="tooltip" translatable="yes">Save File</property>
 222                   <property name="label">gtk-save</property>
 223                   <property name="use_stock">True</property>
 224                 </widget>
 225               </child>
 226             </widget>
 227           </child>
 228         </widget>
 229         <packing>
 230           <property name="placement">BONOBO_DOCK_TOP</property>
 231           <property name="band">1</property>
 232           <property name="position">0</property>
 233           <property name="offset">0</property>
 234           <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE</property>
 235         </packing>
 236       </child>
 237
 238       <child>
 239         <widget class="GtkHPaned" id="hpaned1">
 240           <property name="visible">True</property>
 241           <property name="can_focus">True</property>
 242           <property name="position">195</property>
 243
 244           <child>
 245             <widget class="GtkHBox" id="tree-container">
 246               <property name="visible">True</property>
 247               <property name="homogeneous">False</property>
 248               <property name="spacing">0</property>
 249
 250               <child>
 251                 <widget class="GtkScrolledWindow" id="tree-container">
 252                   <property name="visible">True</property>
 253                   <property name="can_focus">True</property>
 254                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 255                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 256                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 257                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 258
 259                   <child>
 260                     <placeholder/>
 261                   </child>
 262                 </widget>
 263                 <packing>
 264                   <property name="padding">0</property>
 265                   <property name="expand">True</property>
 266                   <property name="fill">True</property>
 267                 </packing>
 268               </child>
 269             </widget>
 270             <packing>
 271               <property name="shrink">True</property>
 272               <property name="resize">False</property>
 273             </packing>
 274           </child>
 275
 276           <child>
 277             <widget class="GtkScrolledWindow" id="scrolledwindow2">
 278               <property name="visible">True</property>
 279               <property name="can_focus">True</property>
 280               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 281               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 282               <property name="shadow_type">GTK_SHADOW_NONE</property>
 283               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 284
 285               <child>
 286                 <widget class="GtkTextView" id="textview1">
 287                   <property name="visible">True</property>
 288                   <property name="can_focus">True</property>
 289                   <property name="editable">True</property>
 290                   <property name="justification">GTK_JUSTIFY_LEFT</property>
 291                   <property name="wrap_mode">GTK_WRAP_NONE</property>
 292                   <property name="cursor_visible">True</property>
 293                   <property name="pixels_above_lines">0</property>
 294                   <property name="pixels_below_lines">0</property>
 295                   <property name="pixels_inside_wrap">0</property>
 296                   <property name="left_margin">0</property>
 297                   <property name="right_margin">0</property>
 298                   <property name="indent">0</property>
 299                   <property name="text" translatable="yes"></property>
 300                 </widget>
 301               </child>
 302             </widget>
 303             <packing>
 304               <property name="shrink">True</property>
 305               <property name="resize">True</property>
 306             </packing>
 307           </child>
 308         </widget>
 309       </child>
 310     </widget>
 311     <packing>
 312       <property name="padding">0</property>
 313       <property name="expand">True</property>
 314       <property name="fill">True</property>
 315     </packing>
 316   </child>
 317
 318   <child internal-child="appbar">
 319     <widget class="GnomeAppBar" id="appbar1">
 320       <property name="visible">True</property>
 321       <property name="has_progress">True</property>
 322       <property name="has_status">True</property>
 323     </widget>
 324     <packing>
 325       <property name="padding">0</property>
 326       <property name="expand">True</property>
 327       <property name="fill">True</property>
 328     </packing>
 329   </child>
 330 </widget>
 331
 332 </glade-interface>