twisted/manhole/inspectro.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="app1">
   9   <property name="visible">True</property>
  10   <property name="title" translatable="yes">Inspectro</property>
  11   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  12   <property name="window_position">GTK_WIN_POS_NONE</property>
  13   <property name="modal">False</property>
  14   <property name="default_width">640</property>
  15   <property name="default_height">480</property>
  16   <property name="resizable">True</property>
  17   <property name="destroy_with_parent">False</property>
  18   <property name="enable_layout_config">True</property>
  19
  20   <child internal-child="dock">
  21     <widget class="BonoboDock" id="bonobodock1">
  22       <property name="visible">True</property>
  23       <property name="allow_floating">True</property>
  24
  25       <child>
  26         <widget class="BonoboDockItem" id="bonobodockitem1">
  27           <property name="visible">True</property>
  28           <property name="shadow_type">GTK_SHADOW_NONE</property>
  29
  30           <child>
  31             <widget class="GtkMenuBar" id="menubar1">
  32               <property name="visible">True</property>
  33
  34               <child>
  35                 <widget class="GtkMenuItem" id="inspector1">
  36                   <property name="visible">True</property>
  37                   <property name="label" translatable="yes">Inspector</property>
  38                   <property name="use_underline">True</property>
  39
  40                   <child>
  41                     <widget class="GtkMenu" id="inspector1_menu">
  42
  43                       <child>
  44                         <widget class="GtkMenuItem" id="select1">
  45                           <property name="visible">True</property>
  46                           <property name="label" translatable="yes">Select</property>
  47                           <property name="use_underline">True</property>
  48                           <signal name="activate" handler="on_select" last_modification_time="Wed, 17 Dec 2003 05:05:34 GMT"/>
  49                         </widget>
  50                       </child>
  51
  52                       <child>
  53                         <widget class="GtkMenuItem" id="inspect1">
  54                           <property name="visible">True</property>
  55                           <property name="label" translatable="yes">Inspect</property>
  56                           <property name="use_underline">True</property>
  57                           <signal name="activate" handler="on_inspect" last_modification_time="Wed, 17 Dec 2003 05:05:34 GMT"/>
  58                         </widget>
  59                       </child>
  60
  61                       <child>
  62                         <widget class="GtkMenuItem" id="inspect_new1">
  63                           <property name="visible">True</property>
  64                           <property name="label" translatable="yes">Inspect New</property>
  65                           <property name="use_underline">True</property>
  66                           <signal name="activate" handler="on_inspect_new" last_modification_time="Wed, 17 Dec 2003 05:05:34 GMT"/>
  67                         </widget>
  68                       </child>
  69                     </widget>
  70                   </child>
  71                 </widget>
  72               </child>
  73
  74               <child>
  75                 <widget class="GtkMenuItem" id="help1">
  76                   <property name="visible">True</property>
  77                   <property name="stock_item">GNOMEUIINFO_MENU_HELP_TREE</property>
  78
  79                   <child>
  80                     <widget class="GtkMenu" id="help1_menu">
  81
  82                       <child>
  83                         <widget class="GtkImageMenuItem" id="about1">
  84                           <property name="visible">True</property>
  85                           <property name="stock_item">GNOMEUIINFO_MENU_ABOUT_ITEM</property>
  86                           <signal name="activate" handler="on_about1_activate" last_modification_time="Wed, 17 Dec 2003 04:48:59 GMT"/>
  87                         </widget>
  88                       </child>
  89                     </widget>
  90                   </child>
  91                 </widget>
  92               </child>
  93             </widget>
  94           </child>
  95         </widget>
  96         <packing>
  97           <property name="placement">BONOBO_DOCK_TOP</property>
  98           <property name="band">0</property>
  99           <property name="position">0</property>
 100           <property name="offset">0</property>
 101           <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE|BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL|BONOBO_DOCK_ITEM_BEH_LOCKED</property>
 102         </packing>
 103       </child>
 104
 105       <child>
 106         <widget class="BonoboDockItem" id="bonobodockitem2">
 107           <property name="visible">True</property>
 108           <property name="shadow_type">GTK_SHADOW_OUT</property>
 109
 110           <child>
 111             <widget class="GtkToolbar" id="toolbar2">
 112               <property name="visible">True</property>
 113               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 114               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
 115               <property name="tooltips">True</property>
 116
 117               <child>
 118                 <widget class="button" id="button13">
 119                   <property name="visible">True</property>
 120                   <property name="label" translatable="yes">Select</property>
 121                   <property name="use_underline">True</property>
 122                   <property name="stock_pixmap">gtk-convert</property>
 123                   <signal name="clicked" handler="on_select" last_modification_time="Wed, 17 Dec 2003 05:05:14 GMT"/>
 124                 </widget>
 125               </child>
 126
 127               <child>
 128                 <widget class="button" id="button14">
 129                   <property name="visible">True</property>
 130                   <property name="label" translatable="yes">Inspect</property>
 131                   <property name="use_underline">True</property>
 132                   <property name="stock_pixmap">gtk-jump-to</property>
 133                   <signal name="clicked" handler="on_inspect" last_modification_time="Wed, 17 Dec 2003 05:05:02 GMT"/>
 134                 </widget>
 135               </child>
 136
 137               <child>
 138                 <widget class="button" id="button15">
 139                   <property name="visible">True</property>
 140                   <property name="label" translatable="yes">Inspect New</property>
 141                   <property name="use_underline">True</property>
 142                   <property name="stock_pixmap">gtk-redo</property>
 143                   <signal name="clicked" handler="on_inspect_new" last_modification_time="Wed, 17 Dec 2003 05:04:50 GMT"/>
 144                 </widget>
 145               </child>
 146             </widget>
 147           </child>
 148         </widget>
 149         <packing>
 150           <property name="placement">BONOBO_DOCK_TOP</property>
 151           <property name="band">1</property>
 152           <property name="position">0</property>
 153           <property name="offset">0</property>
 154           <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE</property>
 155         </packing>
 156       </child>
 157
 158       <child>
 159         <widget class="GtkHPaned" id="hpaned1">
 160           <property name="width_request">350</property>
 161           <property name="visible">True</property>
 162           <property name="can_focus">True</property>
 163           <property name="position">250</property>
 164
 165           <child>
 166             <widget class="GtkVBox" id="vbox1">
 167               <property name="visible">True</property>
 168               <property name="homogeneous">False</property>
 169               <property name="spacing">0</property>
 170
 171               <child>
 172                 <widget class="GtkScrolledWindow" id="scrolledwindow4">
 173                   <property name="visible">True</property>
 174                   <property name="can_focus">True</property>
 175                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 176                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 177                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 178                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 179
 180                   <child>
 181                     <widget class="GtkTreeView" id="treeview">
 182                       <property name="visible">True</property>
 183                       <property name="can_focus">True</property>
 184                       <property name="headers_visible">True</property>
 185                       <property name="rules_hint">False</property>
 186                       <property name="reorderable">False</property>
 187                       <property name="enable_search">True</property>
 188                       <signal name="row_activated" handler="on_row_activated" last_modification_time="Wed, 17 Dec 2003 05:07:55 GMT"/>
 189                     </widget>
 190                   </child>
 191                 </widget>
 192                 <packing>
 193                   <property name="padding">0</property>
 194                   <property name="expand">True</property>
 195                   <property name="fill">True</property>
 196                 </packing>
 197               </child>
 198
 199               <child>
 200                 <widget class="GtkTable" id="table1">
 201                   <property name="visible">True</property>
 202                   <property name="n_rows">2</property>
 203                   <property name="n_columns">2</property>
 204                   <property name="homogeneous">False</property>
 205                   <property name="row_spacing">0</property>
 206                   <property name="column_spacing">0</property>
 207
 208                   <child>
 209                     <widget class="GtkLabel" id="itname">
 210                       <property name="visible">True</property>
 211                       <property name="label" translatable="yes">None</property>
 212                       <property name="use_underline">False</property>
 213                       <property name="use_markup">False</property>
 214                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 215                       <property name="wrap">False</property>
 216                       <property name="selectable">False</property>
 217                       <property name="xalign">0</property>
 218                       <property name="yalign">0.5</property>
 219                       <property name="xpad">0</property>
 220                       <property name="ypad">0</property>
 221                     </widget>
 222                     <packing>
 223                       <property name="left_attach">1</property>
 224                       <property name="right_attach">2</property>
 225                       <property name="top_attach">0</property>
 226                       <property name="bottom_attach">1</property>
 227                       <property name="y_options"></property>
 228                     </packing>
 229                   </child>
 230
 231                   <child>
 232                     <widget class="GtkLabel" id="itpath">
 233                       <property name="visible">True</property>
 234                       <property name="label" translatable="yes">[]</property>
 235                       <property name="use_underline">False</property>
 236                       <property name="use_markup">False</property>
 237                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 238                       <property name="wrap">False</property>
 239                       <property name="selectable">False</property>
 240                       <property name="xalign">0</property>
 241                       <property name="yalign">0.5</property>
 242                       <property name="xpad">0</property>
 243                       <property name="ypad">0</property>
 244                     </widget>
 245                     <packing>
 246                       <property name="left_attach">1</property>
 247                       <property name="right_attach">2</property>
 248                       <property name="top_attach">1</property>
 249                       <property name="bottom_attach">2</property>
 250                       <property name="y_options"></property>
 251                     </packing>
 252                   </child>
 253
 254                   <child>
 255                     <widget class="GtkLabel" id="label1">
 256                       <property name="visible">True</property>
 257                       <property name="label" translatable="yes">It: </property>
 258                       <property name="use_underline">False</property>
 259                       <property name="use_markup">False</property>
 260                       <property name="justify">GTK_JUSTIFY_RIGHT</property>
 261                       <property name="wrap">False</property>
 262                       <property name="selectable">False</property>
 263                       <property name="xalign">0</property>
 264                       <property name="yalign">0.5</property>
 265                       <property name="xpad">0</property>
 266                       <property name="ypad">0</property>
 267                     </widget>
 268                     <packing>
 269                       <property name="left_attach">0</property>
 270                       <property name="right_attach">1</property>
 271                       <property name="top_attach">0</property>
 272                       <property name="bottom_attach">1</property>
 273                       <property name="x_padding">3</property>
 274                       <property name="x_options">fill</property>
 275                       <property name="y_options"></property>
 276                     </packing>
 277                   </child>
 278
 279                   <child>
 280                     <widget class="GtkLabel" id="label2">
 281                       <property name="visible">True</property>
 282                       <property name="label" translatable="yes">Path: </property>
 283                       <property name="use_underline">False</property>
 284                       <property name="use_markup">False</property>
 285                       <property name="justify">GTK_JUSTIFY_RIGHT</property>
 286                       <property name="wrap">False</property>
 287                       <property name="selectable">False</property>
 288                       <property name="xalign">0</property>
 289                       <property name="yalign">0.5</property>
 290                       <property name="xpad">0</property>
 291                       <property name="ypad">0</property>
 292                     </widget>
 293                     <packing>
 294                       <property name="left_attach">0</property>
 295                       <property name="right_attach">1</property>
 296                       <property name="top_attach">1</property>
 297                       <property name="bottom_attach">2</property>
 298                       <property name="x_padding">3</property>
 299                       <property name="x_options">fill</property>
 300                       <property name="y_options"></property>
 301                     </packing>
 302                   </child>
 303                 </widget>
 304                 <packing>
 305                   <property name="padding">3</property>
 306                   <property name="expand">False</property>
 307                   <property name="fill">True</property>
 308                 </packing>
 309               </child>
 310             </widget>
 311             <packing>
 312               <property name="shrink">True</property>
 313               <property name="resize">False</property>
 314             </packing>
 315           </child>
 316
 317           <child>
 318             <widget class="GtkVPaned" id="vpaned1">
 319               <property name="visible">True</property>
 320               <property name="can_focus">True</property>
 321               <property name="position">303</property>
 322
 323               <child>
 324                 <widget class="GtkScrolledWindow" id="scrolledwindow3">
 325                   <property name="visible">True</property>
 326                   <property name="can_focus">True</property>
 327                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 328                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 329                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 330                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 331
 332                   <child>
 333                     <widget class="GtkTextView" id="output">
 334                       <property name="visible">True</property>
 335                       <property name="can_focus">True</property>
 336                       <property name="editable">False</property>
 337                       <property name="justification">GTK_JUSTIFY_LEFT</property>
 338                       <property name="wrap_mode">GTK_WRAP_NONE</property>
 339                       <property name="cursor_visible">True</property>
 340                       <property name="pixels_above_lines">0</property>
 341                       <property name="pixels_below_lines">0</property>
 342                       <property name="pixels_inside_wrap">0</property>
 343                       <property name="left_margin">0</property>
 344                       <property name="right_margin">0</property>
 345                       <property name="indent">0</property>
 346                       <property name="text" translatable="yes"></property>
 347                     </widget>
 348                   </child>
 349                 </widget>
 350                 <packing>
 351                   <property name="shrink">False</property>
 352                   <property name="resize">True</property>
 353                 </packing>
 354               </child>
 355
 356               <child>
 357                 <widget class="GtkScrolledWindow" id="scrolledwindow2">
 358                   <property name="visible">True</property>
 359                   <property name="can_focus">True</property>
 360                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 361                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 362                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 363                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 364
 365                   <child>
 366                     <widget class="GtkViewport" id="viewport1">
 367                       <property name="visible">True</property>
 368                       <property name="shadow_type">GTK_SHADOW_IN</property>
 369
 370                       <child>
 371                         <widget class="GtkHBox" id="hbox1">
 372                           <property name="visible">True</property>
 373                           <property name="homogeneous">False</property>
 374                           <property name="spacing">0</property>
 375
 376                           <child>
 377                             <widget class="GtkButton" id="button16">
 378                               <property name="visible">True</property>
 379                               <property name="can_focus">True</property>
 380                               <property name="relief">GTK_RELIEF_NORMAL</property>
 381                               <signal name="clicked" handler="on_execute" last_modification_time="Wed, 17 Dec 2003 05:06:44 GMT"/>
 382
 383                               <child>
 384                                 <widget class="GtkAlignment" id="alignment2">
 385                                   <property name="visible">True</property>
 386                                   <property name="xalign">0.5</property>
 387                                   <property name="yalign">0.5</property>
 388                                   <property name="xscale">0</property>
 389                                   <property name="yscale">0</property>
 390
 391                                   <child>
 392                                     <widget class="GtkHBox" id="hbox3">
 393                                       <property name="visible">True</property>
 394                                       <property name="homogeneous">False</property>
 395                                       <property name="spacing">2</property>
 396
 397                                       <child>
 398                                         <widget class="GtkImage" id="image2">
 399                                           <property name="visible">True</property>
 400                                           <property name="stock">gtk-execute</property>
 401                                           <property name="icon_size">4</property>
 402                                           <property name="xalign">0.5</property>
 403                                           <property name="yalign">0.5</property>
 404                                           <property name="xpad">0</property>
 405                                           <property name="ypad">0</property>
 406                                         </widget>
 407                                         <packing>
 408                                           <property name="padding">0</property>
 409                                           <property name="expand">False</property>
 410                                           <property name="fill">False</property>
 411                                         </packing>
 412                                       </child>
 413
 414                                       <child>
 415                                         <widget class="GtkLabel" id="label6">
 416                                           <property name="visible">True</property>
 417                                           <property name="label" translatable="yes">&gt;&gt;&gt;</property>
 418                                           <property name="use_underline">True</property>
 419                                           <property name="use_markup">False</property>
 420                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 421                                           <property name="wrap">False</property>
 422                                           <property name="selectable">False</property>
 423                                           <property name="xalign">0.5</property>
 424                                           <property name="yalign">0.5</property>
 425                                           <property name="xpad">0</property>
 426                                           <property name="ypad">0</property>
 427                                         </widget>
 428                                         <packing>
 429                                           <property name="padding">0</property>
 430                                           <property name="expand">False</property>
 431                                           <property name="fill">False</property>
 432                                         </packing>
 433                                       </child>
 434                                     </widget>
 435                                   </child>
 436                                 </widget>
 437                               </child>
 438                             </widget>
 439                             <packing>
 440                               <property name="padding">0</property>
 441                               <property name="expand">False</property>
 442                               <property name="fill">False</property>
 443                             </packing>
 444                           </child>
 445
 446                           <child>
 447                             <widget class="GtkTextView" id="input">
 448                               <property name="height_request">25</property>
 449                               <property name="visible">True</property>
 450                               <property name="can_focus">True</property>
 451                               <property name="has_focus">True</property>
 452                               <property name="editable">True</property>
 453                               <property name="justification">GTK_JUSTIFY_LEFT</property>
 454                               <property name="wrap_mode">GTK_WRAP_NONE</property>
 455                               <property name="cursor_visible">True</property>
 456                               <property name="pixels_above_lines">0</property>
 457                               <property name="pixels_below_lines">0</property>
 458                               <property name="pixels_inside_wrap">0</property>
 459                               <property name="left_margin">0</property>
 460                               <property name="right_margin">0</property>
 461                               <property name="indent">0</property>
 462                               <property name="text" translatable="yes"></property>
 463                             </widget>
 464                             <packing>
 465                               <property name="padding">0</property>
 466                               <property name="expand">True</property>
 467                               <property name="fill">True</property>
 468                             </packing>
 469                           </child>
 470                         </widget>
 471                       </child>
 472                     </widget>
 473                   </child>
 474                 </widget>
 475                 <packing>
 476                   <property name="shrink">False</property>
 477                   <property name="resize">True</property>
 478                 </packing>
 479               </child>
 480             </widget>
 481             <packing>
 482               <property name="shrink">True</property>
 483               <property name="resize">True</property>
 484             </packing>
 485           </child>
 486         </widget>
 487       </child>
 488     </widget>
 489     <packing>
 490       <property name="padding">0</property>
 491       <property name="expand">True</property>
 492       <property name="fill">True</property>
 493     </packing>
 494   </child>
 495
 496   <child internal-child="appbar">
 497     <widget class="GnomeAppBar" id="appbar1">
 498       <property name="visible">True</property>
 499       <property name="has_progress">False</property>
 500       <property name="has_status">True</property>
 501     </widget>
 502     <packing>
 503       <property name="padding">0</property>
 504       <property name="expand">True</property>
 505       <property name="fill">True</property>
 506     </packing>
 507   </child>
 508 </widget>
 509
 510 </glade-interface>