plugins/message-view/anjuta-message-manager-plugin.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: xml -*-->
   4 <glade-interface>
   5   <widget class="GtkWindow" id="preferences_dialog_messages">
   6     <property name="title" translatable="yes">window6</property>
   7     <child>
   8       <widget class="GtkVBox" id="Messages">
   9         <property name="visible">True</property>
  10         <child>
  11           <widget class="GtkFrame" id="frame36">
  12             <property name="visible">True</property>
  13             <property name="border_width">5</property>
  14             <property name="label_xalign">0</property>
  15             <property name="shadow_type">GTK_SHADOW_NONE</property>
  16             <child>
  17               <widget class="GtkTable" id="table18">
  18                 <property name="visible">True</property>
  19                 <property name="border_width">10</property>
  20                 <property name="n_rows">4</property>
  21                 <property name="n_columns">2</property>
  22                 <property name="column_spacing">5</property>
  23                 <property name="row_spacing">5</property>
  24                 <child>
  25                   <widget class="GtkComboBox" id="preferences_combo:text:Top,Bottom,Left,Right:0:messages.tab.position">
  26                     <property name="visible">True</property>
  27                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  28                     <property name="items" translatable="yes">Top
  29 Bottom
  30 Left
  31 Right</property>
  32                   </widget>
  33                   <packing>
  34                     <property name="left_attach">1</property>
  35                     <property name="right_attach">2</property>
  36                     <property name="top_attach">3</property>
  37                     <property name="bottom_attach">4</property>
  38                   </packing>
  39                 </child>
  40                 <child>
  41                   <placeholder/>
  42                 </child>
  43                 <child>
  44                   <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:truncat.messages">
  45                     <property name="can_focus">True</property>
  46                     <property name="label" translatable="yes">Truncate long messages</property>
  47                     <property name="use_underline">True</property>
  48                     <property name="response_id">0</property>
  49                     <property name="draw_indicator">True</property>
  50                   </widget>
  51                   <packing>
  52                     <property name="x_options">GTK_FILL</property>
  53                     <property name="y_options"></property>
  54                   </packing>
  55                 </child>
  56                 <child>
  57                   <widget class="GtkLabel" id="label136">
  58                     <property name="xalign">0</property>
  59                     <property name="label" translatable="yes">Number of first characters to show:</property>
  60                   </widget>
  61                   <packing>
  62                     <property name="top_attach">1</property>
  63                     <property name="bottom_attach">2</property>
  64                     <property name="x_options">GTK_FILL</property>
  65                     <property name="y_options"></property>
  66                   </packing>
  67                 </child>
  68                 <child>
  69                   <widget class="GtkLabel" id="label137">
  70                     <property name="xalign">0</property>
  71                     <property name="label" translatable="yes">Number of last characters to show:</property>
  72                   </widget>
  73                   <packing>
  74                     <property name="top_attach">2</property>
  75                     <property name="bottom_attach">3</property>
  76                     <property name="x_options">GTK_FILL</property>
  77                     <property name="y_options"></property>
  78                   </packing>
  79                 </child>
  80                 <child>
  81                   <widget class="GtkSpinButton" id="preferences_spin:int:50:0:truncat.mesg.last">
  82                     <property name="can_focus">True</property>
  83                     <property name="adjustment">50 1 1000 1 10 10</property>
  84                     <property name="climb_rate">1</property>
  85                     <property name="numeric">True</property>
  86                   </widget>
  87                   <packing>
  88                     <property name="left_attach">1</property>
  89                     <property name="right_attach">2</property>
  90                     <property name="top_attach">2</property>
  91                     <property name="bottom_attach">3</property>
  92                     <property name="x_options">GTK_FILL</property>
  93                     <property name="y_options"></property>
  94                   </packing>
  95                 </child>
  96                 <child>
  97                   <widget class="GtkSpinButton" id="preferences_spin:int:50:0:truncat.mesg.first">
  98                     <property name="can_focus">True</property>
  99                     <property name="adjustment">50 1 1000 1 10 10</property>
 100                     <property name="climb_rate">1</property>
 101                     <property name="numeric">True</property>
 102                   </widget>
 103                   <packing>
 104                     <property name="left_attach">1</property>
 105                     <property name="right_attach">2</property>
 106                     <property name="top_attach">1</property>
 107                     <property name="bottom_attach">2</property>
 108                     <property name="x_options">GTK_FILL</property>
 109                     <property name="y_options"></property>
 110                   </packing>
 111                 </child>
 112                 <child>
 113                   <widget class="GtkLabel" id="label138">
 114                     <property name="visible">True</property>
 115                     <property name="xalign">0</property>
 116                     <property name="label" translatable="yes">Tabs position:</property>
 117                   </widget>
 118                   <packing>
 119                     <property name="top_attach">3</property>
 120                     <property name="bottom_attach">4</property>
 121                     <property name="x_options">GTK_FILL</property>
 122                     <property name="y_options"></property>
 123                   </packing>
 124                 </child>
 125               </widget>
 126             </child>
 127             <child>
 128               <widget class="GtkLabel" id="label135">
 129                 <property name="visible">True</property>
 130                 <property name="label" translatable="yes">&lt;b&gt;Messages options&lt;/b&gt;</property>
 131                 <property name="use_markup">True</property>
 132               </widget>
 133               <packing>
 134                 <property name="type">label_item</property>
 135               </packing>
 136             </child>
 137           </widget>
 138           <packing>
 139             <property name="expand">False</property>
 140           </packing>
 141         </child>
 142         <child>
 143           <widget class="GtkFrame" id="frame37">
 144             <property name="visible">True</property>
 145             <property name="border_width">5</property>
 146             <property name="label_xalign">0</property>
 147             <property name="shadow_type">GTK_SHADOW_NONE</property>
 148             <child>
 149               <widget class="GtkTable" id="table19">
 150                 <property name="visible">True</property>
 151                 <property name="border_width">10</property>
 152                 <property name="n_rows">3</property>
 153                 <property name="n_columns">2</property>
 154                 <property name="column_spacing">5</property>
 155                 <property name="row_spacing">5</property>
 156                 <child>
 157                   <widget class="GtkComboBox" id="preferences_combo:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.error">
 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="items" translatable="yes">Underline-Plain
 161 Underline-Squiggle
 162 Underline-TT
 163 Diagonal
 164 Strike-Out</property>
 165                   </widget>
 166                   <packing>
 167                     <property name="left_attach">1</property>
 168                     <property name="right_attach">2</property>
 169                     <property name="top_attach">2</property>
 170                     <property name="bottom_attach">3</property>
 171                   </packing>
 172                 </child>
 173                 <child>
 174                   <widget class="GtkComboBox" id="preferences_combo:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.warning">
 175                     <property name="visible">True</property>
 176                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 177                     <property name="items" translatable="yes">Underline-Plain
 178 Underline-Squiggle
 179 Underline-TT
 180 Diagonal
 181 Strike-Out</property>
 182                   </widget>
 183                   <packing>
 184                     <property name="left_attach">1</property>
 185                     <property name="right_attach">2</property>
 186                     <property name="top_attach">1</property>
 187                     <property name="bottom_attach">2</property>
 188                   </packing>
 189                 </child>
 190                 <child>
 191                   <widget class="GtkComboBox" id="preferences_combo:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.normal">
 192                     <property name="visible">True</property>
 193                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 194                     <property name="items" translatable="yes">Underline-Plain
 195 Underline-Squiggle
 196 Underline-TT
 197 Diagonal
 198 Strike-Out</property>
 199                   </widget>
 200                   <packing>
 201                     <property name="left_attach">1</property>
 202                     <property name="right_attach">2</property>
 203                   </packing>
 204                 </child>
 205                 <child>
 206                   <widget class="GtkLabel" id="label140">
 207                     <property name="visible">True</property>
 208                     <property name="xalign">0</property>
 209                     <property name="label" translatable="yes">Normal message indicator style:</property>
 210                   </widget>
 211                   <packing>
 212                     <property name="x_options">GTK_FILL</property>
 213                     <property name="y_options"></property>
 214                   </packing>
 215                 </child>
 216                 <child>
 217                   <widget class="GtkLabel" id="label141">
 218                     <property name="visible">True</property>
 219                     <property name="xalign">0</property>
 220                     <property name="label" translatable="yes">Warning message indicator style:</property>
 221                   </widget>
 222                   <packing>
 223                     <property name="top_attach">1</property>
 224                     <property name="bottom_attach">2</property>
 225                     <property name="x_options">GTK_FILL</property>
 226                     <property name="y_options"></property>
 227                   </packing>
 228                 </child>
 229                 <child>
 230                   <widget class="GtkLabel" id="label142">
 231                     <property name="visible">True</property>
 232                     <property name="xalign">0</property>
 233                     <property name="label" translatable="yes">Error message indicator style:</property>
 234                   </widget>
 235                   <packing>
 236                     <property name="top_attach">2</property>
 237                     <property name="bottom_attach">3</property>
 238                     <property name="x_options">GTK_FILL</property>
 239                     <property name="y_options"></property>
 240                   </packing>
 241                 </child>
 242               </widget>
 243             </child>
 244             <child>
 245               <widget class="GtkLabel" id="label139">
 246                 <property name="visible">True</property>
 247                 <property name="label" translatable="yes">&lt;b&gt;Indicators&lt;/b&gt;</property>
 248                 <property name="use_markup">True</property>
 249               </widget>
 250               <packing>
 251                 <property name="type">label_item</property>
 252               </packing>
 253             </child>
 254           </widget>
 255           <packing>
 256             <property name="expand">False</property>
 257             <property name="position">1</property>
 258           </packing>
 259         </child>
 260         <child>
 261           <widget class="GtkFrame" id="frame38">
 262             <property name="visible">True</property>
 263             <property name="border_width">5</property>
 264             <property name="label_xalign">0</property>
 265             <property name="shadow_type">GTK_SHADOW_NONE</property>
 266             <child>
 267               <widget class="GtkTable" id="table20">
 268                 <property name="visible">True</property>
 269                 <property name="border_width">10</property>
 270                 <property name="n_rows">1</property>
 271                 <property name="n_columns">6</property>
 272                 <property name="column_spacing">5</property>
 273                 <property name="row_spacing">5</property>
 274                 <child>
 275                   <placeholder/>
 276                 </child>
 277                 <child>
 278                   <placeholder/>
 279                 </child>
 280                 <child>
 281                   <widget class="GtkLabel" id="label144">
 282                     <property name="visible">True</property>
 283                     <property name="xalign">0</property>
 284                     <property name="label" translatable="yes">Errors:</property>
 285                   </widget>
 286                   <packing>
 287                     <property name="left_attach">4</property>
 288                     <property name="right_attach">5</property>
 289                     <property name="x_options">GTK_FILL</property>
 290                     <property name="y_options"></property>
 291                   </packing>
 292                 </child>
 293                 <child>
 294                   <widget class="GtkLabel" id="label145">
 295                     <property name="visible">True</property>
 296                     <property name="xalign">0</property>
 297                     <property name="label" translatable="yes">Warnings:</property>
 298                   </widget>
 299                   <packing>
 300                     <property name="left_attach">2</property>
 301                     <property name="right_attach">3</property>
 302                     <property name="x_options">GTK_FILL</property>
 303                     <property name="y_options"></property>
 304                   </packing>
 305                 </child>
 306                 <child>
 307                   <widget class="GtkColorButton" id="preferences_color:color:#F05000:0:messages.color.warning">
 308                     <property name="visible">True</property>
 309                     <property name="can_focus">True</property>
 310                     <property name="response_id">0</property>
 311                   </widget>
 312                   <packing>
 313                     <property name="left_attach">3</property>
 314                     <property name="right_attach">4</property>
 315                     <property name="x_options">GTK_FILL</property>
 316                     <property name="y_options"></property>
 317                   </packing>
 318                 </child>
 319                 <child>
 320                   <widget class="GtkColorButton" id="preferences_color:color:#E00000:0:messages.color.error">
 321                     <property name="visible">True</property>
 322                     <property name="can_focus">True</property>
 323                     <property name="response_id">0</property>
 324                   </widget>
 325                   <packing>
 326                     <property name="left_attach">5</property>
 327                     <property name="right_attach">6</property>
 328                     <property name="x_options">GTK_FILL</property>
 329                     <property name="y_options"></property>
 330                   </packing>
 331                 </child>
 332               </widget>
 333             </child>
 334             <child>
 335               <widget class="GtkLabel" id="label143">
 336                 <property name="visible">True</property>
 337                 <property name="label" translatable="yes">&lt;b&gt;Message colors&lt;/b&gt;</property>
 338                 <property name="use_markup">True</property>
 339               </widget>
 340               <packing>
 341                 <property name="type">label_item</property>
 342               </packing>
 343             </child>
 344           </widget>
 345           <packing>
 346             <property name="expand">False</property>
 347             <property name="position">2</property>
 348           </packing>
 349         </child>
 350       </widget>
 351     </child>
 352   </widget>
 353 </glade-interface>