plugins/git/anjuta-git.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--Generated with glade3 3.4.0 on Wed Apr 23 15:30:04 2008 -->
   4 <glade-interface>
   5   <requires lib="anjuta"/>
   6   <widget class="GtkDialog" id="commit_dialog">
   7     <property name="width_request">600</property>
   8     <property name="height_request">400</property>
   9     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  10     <property name="border_width">5</property>
  11     <property name="title" translatable="yes">Commit Changes</property>
  12     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  13     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  14     <property name="has_separator">False</property>
  15     <child internal-child="vbox">
  16       <widget class="GtkVBox" id="dialog-vbox16">
  17         <property name="visible">True</property>
  18         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  19         <property name="spacing">2</property>
  20         <child>
  21           <widget class="GtkVBox" id="vbox28">
  22             <property name="visible">True</property>
  23             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  24             <property name="spacing">5</property>
  25             <child>
  26               <widget class="GtkFrame" id="frame32">
  27                 <property name="visible">True</property>
  28                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  29                 <property name="label_xalign">0</property>
  30                 <property name="shadow_type">GTK_SHADOW_NONE</property>
  31                 <child>
  32                   <widget class="GtkAlignment" id="alignment30">
  33                     <property name="visible">True</property>
  34                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  35                     <property name="left_padding">12</property>
  36                     <child>
  37                       <widget class="GtkScrolledWindow" id="scrolledwindow11">
  38                         <property name="visible">True</property>
  39                         <property name="can_focus">True</property>
  40                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  41                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  42                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  43                         <property name="shadow_type">GTK_SHADOW_IN</property>
  44                         <child>
  45                           <widget class="GtkTextView" id="log_view">
  46                             <property name="visible">True</property>
  47                             <property name="can_focus">True</property>
  48                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  49                           </widget>
  50                         </child>
  51                       </widget>
  52                     </child>
  53                   </widget>
  54                 </child>
  55                 <child>
  56                   <widget class="GtkLabel" id="label48">
  57                     <property name="visible">True</property>
  58                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  59                     <property name="label" translatable="yes">&lt;b&gt;Log Message:&lt;/b&gt;</property>
  60                     <property name="use_markup">True</property>
  61                   </widget>
  62                   <packing>
  63                     <property name="type">label_item</property>
  64                   </packing>
  65                 </child>
  66               </widget>
  67             </child>
  68             <child>
  69               <widget class="GtkFrame" id="frame3">
  70                 <property name="visible">True</property>
  71                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  72                 <property name="label_xalign">0</property>
  73                 <property name="shadow_type">GTK_SHADOW_NONE</property>
  74                 <child>
  75                   <widget class="GtkAlignment" id="alignment3">
  76                     <property name="visible">True</property>
  77                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  78                     <property name="left_padding">12</property>
  79                     <child>
  80                       <widget class="GtkCheckButton" id="resolve_check">
  81                         <property name="visible">True</property>
  82                         <property name="can_focus">True</property>
  83                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  84                         <property name="label" translatable="yes">This commit concludes a failed merge (use -i)</property>
  85                         <property name="response_id">0</property>
  86                         <property name="draw_indicator">True</property>
  87                       </widget>
  88                     </child>
  89                   </widget>
  90                 </child>
  91                 <child>
  92                   <widget class="GtkLabel" id="label3">
  93                     <property name="visible">True</property>
  94                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  95                     <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
  96                     <property name="use_markup">True</property>
  97                   </widget>
  98                   <packing>
  99                     <property name="type">label_item</property>
 100                   </packing>
 101                 </child>
 102               </widget>
 103               <packing>
 104                 <property name="position">1</property>
 105               </packing>
 106             </child>
 107             <child>
 108               <widget class="GtkFrame" id="frame34">
 109                 <property name="visible">True</property>
 110                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 111                 <property name="label_xalign">0</property>
 112                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 113                 <child>
 114                   <widget class="GtkAlignment" id="alignment32">
 115                     <property name="visible">True</property>
 116                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 117                     <property name="left_padding">12</property>
 118                     <child>
 119                       <widget class="GtkScrolledWindow" id="scrolledwindow12">
 120                         <property name="visible">True</property>
 121                         <property name="can_focus">True</property>
 122                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 123                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 124                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 125                         <property name="shadow_type">GTK_SHADOW_IN</property>
 126                         <child>
 127                           <widget class="AnjutaVcsStatusTreeView" id="status_view">
 128                             <property name="visible">True</property>
 129                             <property name="can_focus">True</property>
 130                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 131                             <property name="headers_visible">False</property>
 132                             <property name="search_column">0</property>
 133                             <property name="status_codes">ANJUTA_VCS_STATUS_MODIFIED | ANJUTA_VCS_STATUS_ADDED | ANJUTA_VCS_STATUS_DELETED</property>
 134                           </widget>
 135                         </child>
 136                       </widget>
 137                     </child>
 138                   </widget>
 139                 </child>
 140                 <child>
 141                   <widget class="GtkLabel" id="label50">
 142                     <property name="visible">True</property>
 143                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 144                     <property name="label" translatable="yes">&lt;b&gt;Select Files to Commit:&lt;/b&gt;</property>
 145                     <property name="use_markup">True</property>
 146                   </widget>
 147                   <packing>
 148                     <property name="type">label_item</property>
 149                   </packing>
 150                 </child>
 151               </widget>
 152               <packing>
 153                 <property name="position">2</property>
 154               </packing>
 155             </child>
 156             <child>
 157               <widget class="GtkProgressBar" id="status_progress_bar">
 158                 <property name="visible">True</property>
 159                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 160                 <property name="activity_mode">True</property>
 161                 <property name="text" translatable="yes">Retrieving status...</property>
 162               </widget>
 163               <packing>
 164                 <property name="expand">False</property>
 165                 <property name="position">3</property>
 166               </packing>
 167             </child>
 168             <child>
 169               <widget class="GtkHButtonBox" id="hbuttonbox8">
 170                 <property name="visible">True</property>
 171                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 172                 <property name="spacing">2</property>
 173                 <property name="layout_style">GTK_BUTTONBOX_START</property>
 174                 <child>
 175                   <widget class="GtkButton" id="select_all_button">
 176                     <property name="visible">True</property>
 177                     <property name="can_focus">True</property>
 178                     <property name="receives_default">True</property>
 179                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 180                     <property name="label">gtk-select-all</property>
 181                     <property name="use_stock">True</property>
 182                     <property name="response_id">0</property>
 183                   </widget>
 184                 </child>
 185                 <child>
 186                   <widget class="GtkButton" id="clear_button">
 187                     <property name="visible">True</property>
 188                     <property name="can_focus">True</property>
 189                     <property name="receives_default">True</property>
 190                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 191                     <property name="label">gtk-clear</property>
 192                     <property name="use_stock">True</property>
 193                     <property name="response_id">0</property>
 194                   </widget>
 195                   <packing>
 196                     <property name="position">1</property>
 197                   </packing>
 198                 </child>
 199               </widget>
 200               <packing>
 201                 <property name="position">4</property>
 202               </packing>
 203             </child>
 204           </widget>
 205           <packing>
 206             <property name="position">1</property>
 207           </packing>
 208         </child>
 209         <child internal-child="action_area">
 210           <widget class="GtkHButtonBox" id="dialog-action_area16">
 211             <property name="visible">True</property>
 212             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 213             <property name="layout_style">GTK_BUTTONBOX_END</property>
 214             <child>
 215               <widget class="GtkButton" id="button19">
 216                 <property name="visible">True</property>
 217                 <property name="can_focus">True</property>
 218                 <property name="receives_default">True</property>
 219                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 220                 <property name="label">gtk-cancel</property>
 221                 <property name="use_stock">True</property>
 222                 <property name="response_id">-6</property>
 223               </widget>
 224             </child>
 225             <child>
 226               <widget class="GtkButton" id="button20">
 227                 <property name="visible">True</property>
 228                 <property name="can_focus">True</property>
 229                 <property name="receives_default">True</property>
 230                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 231                 <property name="label">gtk-ok</property>
 232                 <property name="use_stock">True</property>
 233                 <property name="response_id">-5</property>
 234               </widget>
 235               <packing>
 236                 <property name="position">1</property>
 237               </packing>
 238             </child>
 239           </widget>
 240           <packing>
 241             <property name="expand">False</property>
 242             <property name="pack_type">GTK_PACK_END</property>
 243           </packing>
 244         </child>
 245       </widget>
 246     </child>
 247   </widget>
 248   <widget class="GtkDialog" id="add_dialog">
 249     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 250     <property name="border_width">5</property>
 251     <property name="title" translatable="yes">Add File</property>
 252     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 253     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 254     <property name="has_separator">False</property>
 255     <child internal-child="vbox">
 256       <widget class="GtkVBox" id="dialog-vbox2">
 257         <property name="visible">True</property>
 258         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 259         <property name="spacing">2</property>
 260         <child>
 261           <widget class="GtkVBox" id="vbox1">
 262             <property name="visible">True</property>
 263             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 264             <property name="spacing">2</property>
 265             <child>
 266               <widget class="GtkFrame" id="frame1">
 267                 <property name="visible">True</property>
 268                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 269                 <property name="label_xalign">0</property>
 270                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 271                 <child>
 272                   <widget class="GtkAlignment" id="alignment1">
 273                     <property name="visible">True</property>
 274                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 275                     <property name="left_padding">12</property>
 276                     <child>
 277                       <widget class="GtkFileChooserButton" id="file_chooser_button">
 278                         <property name="width_request">400</property>
 279                         <property name="visible">True</property>
 280                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 281                         <property name="select_multiple">True</property>
 282                       </widget>
 283                     </child>
 284                   </widget>
 285                 </child>
 286                 <child>
 287                   <widget class="GtkLabel" id="label1">
 288                     <property name="visible">True</property>
 289                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 290                     <property name="label" translatable="yes">&lt;b&gt;Select file to add:&lt;/b&gt;</property>
 291                     <property name="use_markup">True</property>
 292                   </widget>
 293                   <packing>
 294                     <property name="type">label_item</property>
 295                   </packing>
 296                 </child>
 297               </widget>
 298               <packing>
 299                 <property name="expand">False</property>
 300               </packing>
 301             </child>
 302             <child>
 303               <widget class="GtkFrame" id="frame2">
 304                 <property name="visible">True</property>
 305                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 306                 <property name="label_xalign">0</property>
 307                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 308                 <child>
 309                   <widget class="GtkAlignment" id="alignment2">
 310                     <property name="visible">True</property>
 311                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 312                     <property name="left_padding">12</property>
 313                     <child>
 314                       <widget class="GtkCheckButton" id="force_check">
 315                         <property name="visible">True</property>
 316                         <property name="can_focus">True</property>
 317                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 318                         <property name="label" translatable="yes">Force</property>
 319                         <property name="response_id">0</property>
 320                         <property name="draw_indicator">True</property>
 321                       </widget>
 322                     </child>
 323                   </widget>
 324                 </child>
 325                 <child>
 326                   <widget class="GtkLabel" id="label2">
 327                     <property name="visible">True</property>
 328                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 329                     <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
 330                     <property name="use_markup">True</property>
 331                   </widget>
 332                   <packing>
 333                     <property name="type">label_item</property>
 334                   </packing>
 335                 </child>
 336               </widget>
 337               <packing>
 338                 <property name="expand">False</property>
 339                 <property name="position">1</property>
 340               </packing>
 341             </child>
 342           </widget>
 343           <packing>
 344             <property name="position">1</property>
 345           </packing>
 346         </child>
 347         <child internal-child="action_area">
 348           <widget class="GtkHButtonBox" id="dialog-action_area2">
 349             <property name="visible">True</property>
 350             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 351             <property name="layout_style">GTK_BUTTONBOX_END</property>
 352             <child>
 353               <widget class="GtkButton" id="button1">
 354                 <property name="visible">True</property>
 355                 <property name="can_focus">True</property>
 356                 <property name="receives_default">True</property>
 357                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 358                 <property name="label" translatable="yes">gtk-cancel</property>
 359                 <property name="use_stock">True</property>
 360                 <property name="response_id">-6</property>
 361               </widget>
 362             </child>
 363             <child>
 364               <widget class="GtkButton" id="button2">
 365                 <property name="visible">True</property>
 366                 <property name="can_focus">True</property>
 367                 <property name="receives_default">True</property>
 368                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 369                 <property name="label" translatable="yes">gtk-ok</property>
 370                 <property name="use_stock">True</property>
 371                 <property name="response_id">-5</property>
 372               </widget>
 373               <packing>
 374                 <property name="position">1</property>
 375               </packing>
 376             </child>
 377           </widget>
 378           <packing>
 379             <property name="expand">False</property>
 380             <property name="pack_type">GTK_PACK_END</property>
 381           </packing>
 382         </child>
 383       </widget>
 384     </child>
 385   </widget>
 386   <widget class="GtkDialog" id="remove_dialog">
 387     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 388     <property name="border_width">5</property>
 389     <property name="title" translatable="yes">Remove File</property>
 390     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 391     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 392     <property name="has_separator">False</property>
 393     <child internal-child="vbox">
 394       <widget class="GtkVBox" id="dialog-vbox4">
 395         <property name="visible">True</property>
 396         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 397         <property name="spacing">2</property>
 398         <child>
 399           <widget class="GtkVBox" id="vbox3">
 400             <property name="visible">True</property>
 401             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 402             <property name="spacing">2</property>
 403             <child>
 404               <widget class="GtkFrame" id="frame5">
 405                 <property name="visible">True</property>
 406                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 407                 <property name="label_xalign">0</property>
 408                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 409                 <child>
 410                   <widget class="GtkAlignment" id="alignment5">
 411                     <property name="visible">True</property>
 412                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 413                     <property name="left_padding">12</property>
 414                     <child>
 415                       <widget class="GtkFileChooserButton" id="file_chooser_button">
 416                         <property name="width_request">400</property>
 417                         <property name="visible">True</property>
 418                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 419                         <property name="select_multiple">True</property>
 420                       </widget>
 421                     </child>
 422                   </widget>
 423                 </child>
 424                 <child>
 425                   <widget class="GtkLabel" id="label5">
 426                     <property name="visible">True</property>
 427                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 428                     <property name="label" translatable="yes">&lt;b&gt;Select file to remove:&lt;/b&gt;</property>
 429                     <property name="use_markup">True</property>
 430                   </widget>
 431                   <packing>
 432                     <property name="type">label_item</property>
 433                   </packing>
 434                 </child>
 435               </widget>
 436               <packing>
 437                 <property name="expand">False</property>
 438               </packing>
 439             </child>
 440             <child>
 441               <widget class="GtkFrame" id="frame6">
 442                 <property name="visible">True</property>
 443                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 444                 <property name="label_xalign">0</property>
 445                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 446                 <child>
 447                   <widget class="GtkAlignment" id="alignment6">
 448                     <property name="visible">True</property>
 449                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 450                     <property name="left_padding">12</property>
 451                     <child>
 452                       <widget class="GtkCheckButton" id="force_check">
 453                         <property name="visible">True</property>
 454                         <property name="can_focus">True</property>
 455                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 456                         <property name="label" translatable="yes">Force</property>
 457                         <property name="response_id">0</property>
 458                         <property name="draw_indicator">True</property>
 459                       </widget>
 460                     </child>
 461                   </widget>
 462                 </child>
 463                 <child>
 464                   <widget class="GtkLabel" id="label6">
 465                     <property name="visible">True</property>
 466                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 467                     <property name="label" translatable="yes">&lt;b&gt;Options:&lt;/b&gt;</property>
 468                     <property name="use_markup">True</property>
 469                   </widget>
 470                   <packing>
 471                     <property name="type">label_item</property>
 472                   </packing>
 473                 </child>
 474               </widget>
 475               <packing>
 476                 <property name="expand">False</property>
 477                 <property name="position">1</property>
 478               </packing>
 479             </child>
 480           </widget>
 481           <packing>
 482             <property name="position">1</property>
 483           </packing>
 484         </child>
 485         <child internal-child="action_area">
 486           <widget class="GtkHButtonBox" id="dialog-action_area4">
 487             <property name="visible">True</property>
 488             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 489             <property name="layout_style">GTK_BUTTONBOX_END</property>
 490             <child>
 491               <widget class="GtkButton" id="button5">
 492                 <property name="visible">True</property>
 493                 <property name="can_focus">True</property>
 494                 <property name="receives_default">True</property>
 495                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 496                 <property name="label" translatable="yes">gtk-cancel</property>
 497                 <property name="use_stock">True</property>
 498                 <property name="response_id">-6</property>
 499               </widget>
 500             </child>
 501             <child>
 502               <widget class="GtkButton" id="button6">
 503                 <property name="visible">True</property>
 504                 <property name="can_focus">True</property>
 505                 <property name="receives_default">True</property>
 506                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 507                 <property name="label" translatable="yes">gtk-ok</property>
 508                 <property name="use_stock">True</property>
 509                 <property name="response_id">-5</property>
 510               </widget>
 511               <packing>
 512                 <property name="position">1</property>
 513               </packing>
 514             </child>
 515           </widget>
 516           <packing>
 517             <property name="expand">False</property>
 518             <property name="pack_type">GTK_PACK_END</property>
 519           </packing>
 520         </child>
 521       </widget>
 522     </child>
 523   </widget>
 524   <widget class="GtkDialog" id="resolve_dialog">
 525     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 526     <property name="border_width">5</property>
 527     <property name="title" translatable="yes">Set Conflicts as Resolved</property>
 528     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 529     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 530     <property name="has_separator">False</property>
 531     <child internal-child="vbox">
 532       <widget class="GtkVBox" id="dialog-vbox16">
 533         <property name="visible">True</property>
 534         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 535         <property name="spacing">2</property>
 536         <child>
 537           <widget class="GtkVBox" id="vbox28">
 538             <property name="visible">True</property>
 539             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 540             <property name="spacing">5</property>
 541             <child>
 542               <widget class="GtkFrame" id="frame30">
 543                 <property name="visible">True</property>
 544                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 545                 <property name="label_xalign">0</property>
 546                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 547                 <child>
 548                   <widget class="GtkAlignment" id="alignment28">
 549                     <property name="visible">True</property>
 550                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 551                     <property name="left_padding">12</property>
 552                     <child>
 553                       <widget class="GtkScrolledWindow" id="scrolledwindow10">
 554                         <property name="visible">True</property>
 555                         <property name="can_focus">True</property>
 556                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 557                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 558                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 559                         <property name="shadow_type">GTK_SHADOW_IN</property>
 560                         <child>
 561                           <widget class="AnjutaVcsStatusTreeView" id="status_view">
 562                             <property name="width_request">600</property>
 563                             <property name="height_request">250</property>
 564                             <property name="visible">True</property>
 565                             <property name="can_focus">True</property>
 566                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 567                             <property name="headers_visible">False</property>
 568                             <property name="search_column">0</property>
 569                             <property name="status_codes">ANJUTA_VCS_STATUS_CONFLICTED</property>
 570                             <property name="show_status">False</property>
 571                           </widget>
 572                         </child>
 573                       </widget>
 574                     </child>
 575                   </widget>
 576                 </child>
 577                 <child>
 578                   <widget class="GtkLabel" id="label46">
 579                     <property name="visible">True</property>
 580                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 581                     <property name="label" translatable="yes">&lt;b&gt;Select Files to Mark as Resolved:&lt;/b&gt;</property>
 582                     <property name="use_markup">True</property>
 583                   </widget>
 584                   <packing>
 585                     <property name="type">label_item</property>
 586                   </packing>
 587                 </child>
 588               </widget>
 589             </child>
 590             <child>
 591               <widget class="GtkProgressBar" id="status_progress_bar">
 592                 <property name="visible">True</property>
 593                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 594                 <property name="activity_mode">True</property>
 595                 <property name="show_text">True</property>
 596                 <property name="text" translatable="yes">Retrieving status...</property>
 597               </widget>
 598               <packing>
 599                 <property name="fill">False</property>
 600                 <property name="position">1</property>
 601               </packing>
 602             </child>
 603             <child>
 604               <widget class="GtkHButtonBox" id="hbuttonbox8">
 605                 <property name="visible">True</property>
 606                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 607                 <property name="spacing">2</property>
 608                 <property name="layout_style">GTK_BUTTONBOX_START</property>
 609                 <child>
 610                   <widget class="GtkButton" id="select_all_button">
 611                     <property name="visible">True</property>
 612                     <property name="can_focus">True</property>
 613                     <property name="receives_default">True</property>
 614                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 615                     <property name="label">gtk-select-all</property>
 616                     <property name="use_stock">True</property>
 617                     <property name="response_id">0</property>
 618                   </widget>
 619                 </child>
 620                 <child>
 621                   <widget class="GtkButton" id="clear_button">
 622                     <property name="visible">True</property>
 623                     <property name="can_focus">True</property>
 624                     <property name="receives_default">True</property>
 625                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 626                     <property name="label">gtk-clear</property>
 627                     <property name="use_stock">True</property>
 628                     <property name="response_id">0</property>
 629                   </widget>
 630                   <packing>
 631                     <property name="position">1</property>
 632                   </packing>
 633                 </child>
 634               </widget>
 635               <packing>
 636                 <property name="expand">False</property>
 637                 <property name="position">2</property>
 638               </packing>
 639             </child>
 640           </widget>
 641           <packing>
 642             <property name="position">1</property>
 643           </packing>
 644         </child>
 645         <child internal-child="action_area">
 646           <widget class="GtkHButtonBox" id="dialog-action_area16">
 647             <property name="visible">True</property>
 648             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 649             <property name="layout_style">GTK_BUTTONBOX_END</property>
 650             <child>
 651               <widget class="GtkButton" id="revert_cancel_button3">
 652                 <property name="visible">True</property>
 653                 <property name="can_focus">True</property>
 654                 <property name="receives_default">True</property>
 655                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 656                 <property name="label">gtk-cancel</property>
 657                 <property name="use_stock">True</property>
 658                 <property name="response_id">-6</property>
 659               </widget>
 660             </child>
 661             <child>
 662               <widget class="GtkButton" id="revert_ok_button3">
 663                 <property name="visible">True</property>
 664                 <property name="can_focus">True</property>
 665                 <property name="receives_default">True</property>
 666                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 667                 <property name="label">gtk-ok</property>
 668                 <property name="use_stock">True</property>
 669                 <property name="response_id">-5</property>
 670               </widget>
 671               <packing>
 672                 <property name="position">1</property>
 673               </packing>
 674             </child>
 675           </widget>
 676           <packing>
 677             <property name="expand">False</property>
 678             <property name="pack_type">GTK_PACK_END</property>
 679           </packing>
 680         </child>
 681       </widget>
 682     </child>
 683   </widget>
 684 </glade-interface>