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                   <placeholder/>
  26                 </child>
  27                 <child>
  28                   <widget class="GtkLabel" id="label138">
  29                     <property name="visible">True</property>
  30                     <property name="xalign">0</property>
  31                     <property name="label" translatable="yes">Tabs position:</property>
  32                   </widget>
  33                   <packing>
  34                     <property name="top_attach">3</property>
  35                     <property name="bottom_attach">4</property>
  36                     <property name="x_options">GTK_FILL</property>
  37                     <property name="y_options"></property>
  38                   </packing>
  39                 </child>
  40                 <child>
  41                   <widget class="GtkSpinButton" id="preferences_spin:int:50:0:truncat.mesg.first">
  42                     <property name="can_focus">True</property>
  43                     <property name="adjustment">50 1 1000 1 10 10</property>
  44                     <property name="climb_rate">1</property>
  45                     <property name="numeric">True</property>
  46                   </widget>
  47                   <packing>
  48                     <property name="left_attach">1</property>
  49                     <property name="right_attach">2</property>
  50                     <property name="top_attach">1</property>
  51                     <property name="bottom_attach">2</property>
  52                     <property name="x_options">GTK_FILL</property>
  53                     <property name="y_options"></property>
  54                   </packing>
  55                 </child>
  56                 <child>
  57                   <widget class="GtkSpinButton" id="preferences_spin:int:50:0:truncat.mesg.last">
  58                     <property name="can_focus">True</property>
  59                     <property name="adjustment">50 1 1000 1 10 10</property>
  60                     <property name="climb_rate">1</property>
  61                     <property name="numeric">True</property>
  62                   </widget>
  63                   <packing>
  64                     <property name="left_attach">1</property>
  65                     <property name="right_attach">2</property>
  66                     <property name="top_attach">2</property>
  67                     <property name="bottom_attach">3</property>
  68                     <property name="x_options">GTK_FILL</property>
  69                     <property name="y_options"></property>
  70                   </packing>
  71                 </child>
  72                 <child>
  73                   <widget class="GtkLabel" id="label137">
  74                     <property name="xalign">0</property>
  75                     <property name="label" translatable="yes">Number of last characters to show:</property>
  76                   </widget>
  77                   <packing>
  78                     <property name="top_attach">2</property>
  79                     <property name="bottom_attach">3</property>
  80                     <property name="x_options">GTK_FILL</property>
  81                     <property name="y_options"></property>
  82                   </packing>
  83                 </child>
  84                 <child>
  85                   <widget class="GtkLabel" id="label136">
  86                     <property name="xalign">0</property>
  87                     <property name="label" translatable="yes">Number of first characters to show:</property>
  88                   </widget>
  89                   <packing>
  90                     <property name="top_attach">1</property>
  91                     <property name="bottom_attach">2</property>
  92                     <property name="x_options">GTK_FILL</property>
  93                     <property name="y_options"></property>
  94                   </packing>
  95                 </child>
  96                 <child>
  97                   <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:truncat.messages">
  98                     <property name="can_focus">True</property>
  99                     <property name="label" translatable="yes">Truncate long messages</property>
 100                     <property name="use_underline">True</property>
 101                     <property name="response_id">0</property>
 102                     <property name="draw_indicator">True</property>
 103                   </widget>
 104                   <packing>
 105                     <property name="x_options">GTK_FILL</property>
 106                     <property name="y_options"></property>
 107                   </packing>
 108                 </child>
 109                 <child>
 110                   <widget class="GtkComboBox" id="preferences_combo:text:Top,Bottom,Left,Right:0:messages.tab.position">
 111                     <property name="visible">True</property>
 112                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 113                     <property name="items" translatable="yes">Top
 114 Bottom
 115 Left
 116 Right</property>
 117                   </widget>
 118                   <packing>
 119                     <property name="left_attach">1</property>
 120                     <property name="right_attach">2</property>
 121                     <property name="top_attach">3</property>
 122                     <property name="bottom_attach">4</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="GtkLabel" id="label142">
 158                     <property name="visible">True</property>
 159                     <property name="xalign">0</property>
 160                     <property name="label" translatable="yes">Error message indicator style:</property>
 161                   </widget>
 162                   <packing>
 163                     <property name="top_attach">2</property>
 164                     <property name="bottom_attach">3</property>
 165                     <property name="x_options">GTK_FILL</property>
 166                     <property name="y_options"></property>
 167                   </packing>
 168                 </child>
 169                 <child>
 170                   <widget class="GtkLabel" id="label141">
 171                     <property name="visible">True</property>
 172                     <property name="xalign">0</property>
 173                     <property name="label" translatable="yes">Warning message indicator style:</property>
 174                   </widget>
 175                   <packing>
 176                     <property name="top_attach">1</property>
 177                     <property name="bottom_attach">2</property>
 178                     <property name="x_options">GTK_FILL</property>
 179                     <property name="y_options"></property>
 180                   </packing>
 181                 </child>
 182                 <child>
 183                   <widget class="GtkLabel" id="label140">
 184                     <property name="visible">True</property>
 185                     <property name="xalign">0</property>
 186                     <property name="label" translatable="yes">Normal message indicator style:</property>
 187                   </widget>
 188                   <packing>
 189                     <property name="x_options">GTK_FILL</property>
 190                     <property name="y_options"></property>
 191                   </packing>
 192                 </child>
 193                 <child>
 194                   <widget class="GtkComboBox" id="preferences_combo:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.normal">
 195                     <property name="visible">True</property>
 196                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 197                     <property name="items" translatable="yes">Underline-Plain
 198 Underline-Squiggle
 199 Underline-TT
 200 Diagonal
 201 Strike-Out</property>
 202                   </widget>
 203                   <packing>
 204                     <property name="left_attach">1</property>
 205                     <property name="right_attach">2</property>
 206                   </packing>
 207                 </child>
 208                 <child>
 209                   <widget class="GtkComboBox" id="preferences_combo:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.warning">
 210                     <property name="visible">True</property>
 211                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 212                     <property name="items" translatable="yes">Underline-Plain
 213 Underline-Squiggle
 214 Underline-TT
 215 Diagonal
 216 Strike-Out</property>
 217                   </widget>
 218                   <packing>
 219                     <property name="left_attach">1</property>
 220                     <property name="right_attach">2</property>
 221                     <property name="top_attach">1</property>
 222                     <property name="bottom_attach">2</property>
 223                   </packing>
 224                 </child>
 225                 <child>
 226                   <widget class="GtkComboBox" id="preferences_combo:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.error">
 227                     <property name="visible">True</property>
 228                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 229                     <property name="items" translatable="yes" comments="Error/Warning indication style in editor">Underline-Plain
 230 Underline-Squiggle
 231 Underline-TT
 232 Diagonal
 233 Strike-Out</property>
 234                   </widget>
 235                   <packing>
 236                     <property name="left_attach">1</property>
 237                     <property name="right_attach">2</property>
 238                     <property name="top_attach">2</property>
 239                     <property name="bottom_attach">3</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="GtkColorButton" id="preferences_color:color:#E00000:0:messages.color.error">
 282                     <property name="visible">True</property>
 283                     <property name="can_focus">True</property>
 284                     <property name="response_id">0</property>
 285                   </widget>
 286                   <packing>
 287                     <property name="left_attach">5</property>
 288                     <property name="right_attach">6</property>
 289                     <property name="x_options">GTK_FILL</property>
 290                     <property name="y_options"></property>
 291                   </packing>
 292                 </child>
 293                 <child>
 294                   <widget class="GtkColorButton" id="preferences_color:color:#F05000:0:messages.color.warning">
 295                     <property name="visible">True</property>
 296                     <property name="can_focus">True</property>
 297                     <property name="response_id">0</property>
 298                   </widget>
 299                   <packing>
 300                     <property name="left_attach">3</property>
 301                     <property name="right_attach">4</property>
 302                     <property name="x_options">GTK_FILL</property>
 303                     <property name="y_options"></property>
 304                   </packing>
 305                 </child>
 306                 <child>
 307                   <widget class="GtkLabel" id="label145">
 308                     <property name="visible">True</property>
 309                     <property name="xalign">0</property>
 310                     <property name="label" translatable="yes">Warnings:</property>
 311                   </widget>
 312                   <packing>
 313                     <property name="left_attach">2</property>
 314                     <property name="right_attach">3</property>
 315                     <property name="x_options">GTK_FILL</property>
 316                     <property name="y_options"></property>
 317                   </packing>
 318                 </child>
 319                 <child>
 320                   <widget class="GtkLabel" id="label144">
 321                     <property name="visible">True</property>
 322                     <property name="xalign">0</property>
 323                     <property name="label" translatable="yes">Errors:</property>
 324                   </widget>
 325                   <packing>
 326                     <property name="left_attach">4</property>
 327                     <property name="right_attach">5</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>