plugins/message-view/anjuta-message-manager-plugin.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
   7 <widget class="GtkWindow" id="preferences_dialog_messages">
   8   <property name="title" translatable="yes">window6</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19   <property name="focus_on_map">True</property>
  20   <property name="urgency_hint">False</property>
  21
  22   <child>
  23     <widget class="GtkVBox" id="Messages">
  24       <property name="visible">True</property>
  25       <property name="homogeneous">False</property>
  26       <property name="spacing">0</property>
  27
  28       <child>
  29         <widget class="GtkFrame" id="frame36">
  30           <property name="border_width">5</property>
  31           <property name="visible">True</property>
  32           <property name="label_xalign">0</property>
  33           <property name="label_yalign">0.5</property>
  34           <property name="shadow_type">GTK_SHADOW_NONE</property>
  35
  36           <child>
  37             <widget class="GtkTable" id="table18">
  38               <property name="border_width">10</property>
  39               <property name="visible">True</property>
  40               <property name="n_rows">4</property>
  41               <property name="n_columns">2</property>
  42               <property name="homogeneous">False</property>
  43               <property name="row_spacing">5</property>
  44               <property name="column_spacing">5</property>
  45
  46               <child>
  47                 <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:truncat.messages">
  48                   <property name="can_focus">True</property>
  49                   <property name="label" translatable="yes">Truncate long messages</property>
  50                   <property name="use_underline">True</property>
  51                   <property name="relief">GTK_RELIEF_NORMAL</property>
  52                   <property name="focus_on_click">True</property>
  53                   <property name="active">False</property>
  54                   <property name="inconsistent">False</property>
  55                   <property name="draw_indicator">True</property>
  56                 </widget>
  57                 <packing>
  58                   <property name="left_attach">0</property>
  59                   <property name="right_attach">1</property>
  60                   <property name="top_attach">0</property>
  61                   <property name="bottom_attach">1</property>
  62                   <property name="x_options">fill</property>
  63                   <property name="y_options"></property>
  64                 </packing>
  65               </child>
  66
  67               <child>
  68                 <widget class="GtkLabel" id="label136">
  69                   <property name="label" translatable="yes">Number of first characters to show:</property>
  70                   <property name="use_underline">False</property>
  71                   <property name="use_markup">False</property>
  72                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  73                   <property name="wrap">False</property>
  74                   <property name="selectable">False</property>
  75                   <property name="xalign">0</property>
  76                   <property name="yalign">0.5</property>
  77                   <property name="xpad">0</property>
  78                   <property name="ypad">0</property>
  79                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  80                   <property name="width_chars">-1</property>
  81                   <property name="single_line_mode">False</property>
  82                   <property name="angle">0</property>
  83                 </widget>
  84                 <packing>
  85                   <property name="left_attach">0</property>
  86                   <property name="right_attach">1</property>
  87                   <property name="top_attach">1</property>
  88                   <property name="bottom_attach">2</property>
  89                   <property name="x_options">fill</property>
  90                   <property name="y_options"></property>
  91                 </packing>
  92               </child>
  93
  94               <child>
  95                 <widget class="GtkLabel" id="label137">
  96                   <property name="label" translatable="yes">Number of last characters to show:</property>
  97                   <property name="use_underline">False</property>
  98                   <property name="use_markup">False</property>
  99                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 100                   <property name="wrap">False</property>
 101                   <property name="selectable">False</property>
 102                   <property name="xalign">0</property>
 103                   <property name="yalign">0.5</property>
 104                   <property name="xpad">0</property>
 105                   <property name="ypad">0</property>
 106                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 107                   <property name="width_chars">-1</property>
 108                   <property name="single_line_mode">False</property>
 109                   <property name="angle">0</property>
 110                 </widget>
 111                 <packing>
 112                   <property name="left_attach">0</property>
 113                   <property name="right_attach">1</property>
 114                   <property name="top_attach">2</property>
 115                   <property name="bottom_attach">3</property>
 116                   <property name="x_options">fill</property>
 117                   <property name="y_options"></property>
 118                 </packing>
 119               </child>
 120
 121               <child>
 122                 <widget class="GtkSpinButton" id="preferences_spin:int:50:0:truncat.mesg.last">
 123                   <property name="can_focus">True</property>
 124                   <property name="climb_rate">1</property>
 125                   <property name="digits">0</property>
 126                   <property name="numeric">True</property>
 127                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 128                   <property name="snap_to_ticks">False</property>
 129                   <property name="wrap">False</property>
 130                   <property name="adjustment">50 1 1000 1 10 10</property>
 131                 </widget>
 132                 <packing>
 133                   <property name="left_attach">1</property>
 134                   <property name="right_attach">2</property>
 135                   <property name="top_attach">2</property>
 136                   <property name="bottom_attach">3</property>
 137                   <property name="x_options">fill</property>
 138                   <property name="y_options"></property>
 139                 </packing>
 140               </child>
 141
 142               <child>
 143                 <widget class="GtkSpinButton" id="preferences_spin:int:50:0:truncat.mesg.first">
 144                   <property name="can_focus">True</property>
 145                   <property name="climb_rate">1</property>
 146                   <property name="digits">0</property>
 147                   <property name="numeric">True</property>
 148                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 149                   <property name="snap_to_ticks">False</property>
 150                   <property name="wrap">False</property>
 151                   <property name="adjustment">50 1 1000 1 10 10</property>
 152                 </widget>
 153                 <packing>
 154                   <property name="left_attach">1</property>
 155                   <property name="right_attach">2</property>
 156                   <property name="top_attach">1</property>
 157                   <property name="bottom_attach">2</property>
 158                   <property name="x_options">fill</property>
 159                   <property name="y_options"></property>
 160                 </packing>
 161               </child>
 162
 163               <child>
 164                 <widget class="GtkLabel" id="label138">
 165                   <property name="visible">True</property>
 166                   <property name="label" translatable="yes">Tabs position:</property>
 167                   <property name="use_underline">False</property>
 168                   <property name="use_markup">False</property>
 169                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 170                   <property name="wrap">False</property>
 171                   <property name="selectable">False</property>
 172                   <property name="xalign">0</property>
 173                   <property name="yalign">0.5</property>
 174                   <property name="xpad">0</property>
 175                   <property name="ypad">0</property>
 176                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 177                   <property name="width_chars">-1</property>
 178                   <property name="single_line_mode">False</property>
 179                   <property name="angle">0</property>
 180                 </widget>
 181                 <packing>
 182                   <property name="left_attach">0</property>
 183                   <property name="right_attach">1</property>
 184                   <property name="top_attach">3</property>
 185                   <property name="bottom_attach">4</property>
 186                   <property name="x_options">fill</property>
 187                   <property name="y_options"></property>
 188                 </packing>
 189               </child>
 190
 191               <child>
 192                 <widget class="GtkOptionMenu" id="preferences_menu:text:Top,Bottom,Left,Right:0:messages.tab.position">
 193                   <property name="visible">True</property>
 194                   <property name="can_focus">True</property>
 195                   <property name="history">0</property>
 196
 197                   <child>
 198                     <widget class="GtkMenu" id="menu5">
 199
 200                       <child>
 201                         <widget class="GtkMenuItem" id="top2">
 202                           <property name="visible">True</property>
 203                           <property name="label" translatable="yes">Top</property>
 204                           <property name="use_underline">True</property>
 205                           <signal name="activate" handler="on_top2_activate" last_modification_time="Fri, 07 Nov 2003 14:54:30 GMT"/>
 206                         </widget>
 207                       </child>
 208
 209                       <child>
 210                         <widget class="GtkMenuItem" id="bottom2">
 211                           <property name="visible">True</property>
 212                           <property name="label" translatable="yes">Bottom</property>
 213                           <property name="use_underline">True</property>
 214                           <signal name="activate" handler="on_bottom2_activate" last_modification_time="Fri, 07 Nov 2003 14:54:30 GMT"/>
 215                         </widget>
 216                       </child>
 217
 218                       <child>
 219                         <widget class="GtkMenuItem" id="left2">
 220                           <property name="visible">True</property>
 221                           <property name="label" translatable="yes">Left</property>
 222                           <property name="use_underline">True</property>
 223                           <signal name="activate" handler="on_left2_activate" last_modification_time="Fri, 07 Nov 2003 14:54:30 GMT"/>
 224                         </widget>
 225                       </child>
 226
 227                       <child>
 228                         <widget class="GtkMenuItem" id="right2">
 229                           <property name="visible">True</property>
 230                           <property name="label" translatable="yes">Right</property>
 231                           <property name="use_underline">True</property>
 232                           <signal name="activate" handler="on_right2_activate" last_modification_time="Fri, 07 Nov 2003 14:54:30 GMT"/>
 233                         </widget>
 234                       </child>
 235                     </widget>
 236                   </child>
 237                 </widget>
 238                 <packing>
 239                   <property name="left_attach">1</property>
 240                   <property name="right_attach">2</property>
 241                   <property name="top_attach">3</property>
 242                   <property name="bottom_attach">4</property>
 243                   <property name="x_options">fill</property>
 244                   <property name="y_options"></property>
 245                 </packing>
 246               </child>
 247             </widget>
 248           </child>
 249
 250           <child>
 251             <widget class="GtkLabel" id="label135">
 252               <property name="visible">True</property>
 253               <property name="label" translatable="yes">&lt;b&gt;Messages options&lt;/b&gt;</property>
 254               <property name="use_underline">False</property>
 255               <property name="use_markup">True</property>
 256               <property name="justify">GTK_JUSTIFY_LEFT</property>
 257               <property name="wrap">False</property>
 258               <property name="selectable">False</property>
 259               <property name="xalign">0.5</property>
 260               <property name="yalign">0.5</property>
 261               <property name="xpad">0</property>
 262               <property name="ypad">0</property>
 263               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 264               <property name="width_chars">-1</property>
 265               <property name="single_line_mode">False</property>
 266               <property name="angle">0</property>
 267             </widget>
 268             <packing>
 269               <property name="type">label_item</property>
 270             </packing>
 271           </child>
 272         </widget>
 273         <packing>
 274           <property name="padding">0</property>
 275           <property name="expand">False</property>
 276           <property name="fill">True</property>
 277         </packing>
 278       </child>
 279
 280       <child>
 281         <widget class="GtkFrame" id="frame37">
 282           <property name="border_width">5</property>
 283           <property name="visible">True</property>
 284           <property name="label_xalign">0</property>
 285           <property name="label_yalign">0.5</property>
 286           <property name="shadow_type">GTK_SHADOW_NONE</property>
 287
 288           <child>
 289             <widget class="GtkTable" id="table19">
 290               <property name="border_width">10</property>
 291               <property name="visible">True</property>
 292               <property name="n_rows">3</property>
 293               <property name="n_columns">2</property>
 294               <property name="homogeneous">False</property>
 295               <property name="row_spacing">5</property>
 296               <property name="column_spacing">5</property>
 297
 298               <child>
 299                 <widget class="GtkLabel" id="label140">
 300                   <property name="visible">True</property>
 301                   <property name="label" translatable="yes">Normal message indicator style:</property>
 302                   <property name="use_underline">False</property>
 303                   <property name="use_markup">False</property>
 304                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 305                   <property name="wrap">False</property>
 306                   <property name="selectable">False</property>
 307                   <property name="xalign">0</property>
 308                   <property name="yalign">0.5</property>
 309                   <property name="xpad">0</property>
 310                   <property name="ypad">0</property>
 311                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 312                   <property name="width_chars">-1</property>
 313                   <property name="single_line_mode">False</property>
 314                   <property name="angle">0</property>
 315                 </widget>
 316                 <packing>
 317                   <property name="left_attach">0</property>
 318                   <property name="right_attach">1</property>
 319                   <property name="top_attach">0</property>
 320                   <property name="bottom_attach">1</property>
 321                   <property name="x_options">fill</property>
 322                   <property name="y_options"></property>
 323                 </packing>
 324               </child>
 325
 326               <child>
 327                 <widget class="GtkLabel" id="label141">
 328                   <property name="visible">True</property>
 329                   <property name="label" translatable="yes">Warning message indicator style:</property>
 330                   <property name="use_underline">False</property>
 331                   <property name="use_markup">False</property>
 332                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 333                   <property name="wrap">False</property>
 334                   <property name="selectable">False</property>
 335                   <property name="xalign">0</property>
 336                   <property name="yalign">0.5</property>
 337                   <property name="xpad">0</property>
 338                   <property name="ypad">0</property>
 339                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 340                   <property name="width_chars">-1</property>
 341                   <property name="single_line_mode">False</property>
 342                   <property name="angle">0</property>
 343                 </widget>
 344                 <packing>
 345                   <property name="left_attach">0</property>
 346                   <property name="right_attach">1</property>
 347                   <property name="top_attach">1</property>
 348                   <property name="bottom_attach">2</property>
 349                   <property name="x_options">fill</property>
 350                   <property name="y_options"></property>
 351                 </packing>
 352               </child>
 353
 354               <child>
 355                 <widget class="GtkLabel" id="label142">
 356                   <property name="visible">True</property>
 357                   <property name="label" translatable="yes">Error message indicator style:</property>
 358                   <property name="use_underline">False</property>
 359                   <property name="use_markup">False</property>
 360                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 361                   <property name="wrap">False</property>
 362                   <property name="selectable">False</property>
 363                   <property name="xalign">0</property>
 364                   <property name="yalign">0.5</property>
 365                   <property name="xpad">0</property>
 366                   <property name="ypad">0</property>
 367                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 368                   <property name="width_chars">-1</property>
 369                   <property name="single_line_mode">False</property>
 370                   <property name="angle">0</property>
 371                 </widget>
 372                 <packing>
 373                   <property name="left_attach">0</property>
 374                   <property name="right_attach">1</property>
 375                   <property name="top_attach">2</property>
 376                   <property name="bottom_attach">3</property>
 377                   <property name="x_options">fill</property>
 378                   <property name="y_options"></property>
 379                 </packing>
 380               </child>
 381
 382               <child>
 383                 <widget class="GtkOptionMenu" id="preferences_menu:text:Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal,Strike-Out:0:indicators.style.normal">
 384                   <property name="visible">True</property>
 385                   <property name="can_focus">True</property>
 386                   <property name="history">0</property>
 387
 388                   <child>
 389                     <widget class="GtkMenu" id="menu6">
 390
 391                       <child>
 392                         <widget class="GtkMenuItem" id="underline_plain1">
 393                           <property name="visible">True</property>
 394                           <property name="label" translatable="yes">Underline Plain</property>
 395                           <property name="use_underline">True</property>
 396                           <signal name="activate" handler="on_underline_plain1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 397                         </widget>
 398                       </child>
 399
 400                       <child>
 401                         <widget class="GtkMenuItem" id="underline_squiggle1">
 402                           <property name="visible">True</property>
 403                           <property name="label" translatable="yes">Underline Squiggle</property>
 404                           <property name="use_underline">True</property>
 405                           <signal name="activate" handler="on_underline_squiggle1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 406                         </widget>
 407                       </child>
 408
 409                       <child>
 410                         <widget class="GtkMenuItem" id="underline-tt1">
 411                           <property name="visible">True</property>
 412                           <property name="label" translatable="yes">Underline-TT</property>
 413                           <property name="use_underline">True</property>
 414                           <signal name="activate" handler="on_underline-tt1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 415                         </widget>
 416                       </child>
 417
 418                       <child>
 419                         <widget class="GtkMenuItem" id="diagonal1">
 420                           <property name="visible">True</property>
 421                           <property name="label" translatable="yes">Diagonal</property>
 422                           <property name="use_underline">True</property>
 423                           <signal name="activate" handler="on_diagonal1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 424                         </widget>
 425                       </child>
 426
 427                       <child>
 428                         <widget class="GtkMenuItem" id="strike_out1">
 429                           <property name="visible">True</property>
 430                           <property name="label" translatable="yes">Strike-Out</property>
 431                           <property name="use_underline">True</property>
 432                           <signal name="activate" handler="on_strike_out1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 433                         </widget>
 434                       </child>
 435                     </widget>
 436                   </child>
 437                 </widget>
 438                 <packing>
 439                   <property name="left_attach">1</property>
 440                   <property name="right_attach">2</property>
 441                   <property name="top_attach">0</property>
 442                   <property name="bottom_attach">1</property>
 443                   <property name="x_options">fill</property>
 444                   <property name="y_options"></property>
 445                 </packing>
 446               </child>
 447
 448               <child>
 449                 <widget class="GtkOptionMenu" id="preferences_menu:text:Underline-Squiggle,Underline-Plain,Underline-TT,Diagonal,Strike-Out:0:indicators.style.warning">
 450                   <property name="visible">True</property>
 451                   <property name="can_focus">True</property>
 452                   <property name="history">0</property>
 453
 454                   <child>
 455                     <widget class="GtkMenu" id="menu7">
 456
 457                       <child>
 458                         <widget class="GtkMenuItem" id="menuitem2">
 459                           <property name="visible">True</property>
 460                           <property name="label" translatable="yes">Underline Squiggle</property>
 461                           <property name="use_underline">True</property>
 462                           <signal name="activate" handler="on_underline_squiggle1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 463                         </widget>
 464                       </child>
 465
 466                       <child>
 467                         <widget class="GtkMenuItem" id="menuitem1">
 468                           <property name="visible">True</property>
 469                           <property name="label" translatable="yes">Underline Plain</property>
 470                           <property name="use_underline">True</property>
 471                           <signal name="activate" handler="on_underline_plain1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 472                         </widget>
 473                       </child>
 474
 475                       <child>
 476                         <widget class="GtkMenuItem" id="menuitem3">
 477                           <property name="visible">True</property>
 478                           <property name="label" translatable="yes">Underline-TT</property>
 479                           <property name="use_underline">True</property>
 480                           <signal name="activate" handler="on_underline-tt1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 481                         </widget>
 482                       </child>
 483
 484                       <child>
 485                         <widget class="GtkMenuItem" id="menuitem4">
 486                           <property name="visible">True</property>
 487                           <property name="label" translatable="yes">Diagonal</property>
 488                           <property name="use_underline">True</property>
 489                           <signal name="activate" handler="on_diagonal1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 490                         </widget>
 491                       </child>
 492
 493                       <child>
 494                         <widget class="GtkMenuItem" id="menuitem5">
 495                           <property name="visible">True</property>
 496                           <property name="label" translatable="yes">Strike-Out</property>
 497                           <property name="use_underline">True</property>
 498                           <signal name="activate" handler="on_strike_out1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 499                         </widget>
 500                       </child>
 501                     </widget>
 502                   </child>
 503                 </widget>
 504                 <packing>
 505                   <property name="left_attach">1</property>
 506                   <property name="right_attach">2</property>
 507                   <property name="top_attach">1</property>
 508                   <property name="bottom_attach">2</property>
 509                   <property name="x_options">fill</property>
 510                   <property name="y_options"></property>
 511                 </packing>
 512               </child>
 513
 514               <child>
 515                 <widget class="GtkOptionMenu" id="preferences_menu:text:Strike-Out,Underline-Plain,Underline-Squiggle,Underline-TT,Diagonal:0:indicators.style.error">
 516                   <property name="visible">True</property>
 517                   <property name="can_focus">True</property>
 518                   <property name="history">0</property>
 519
 520                   <child>
 521                     <widget class="GtkMenu" id="menu8">
 522
 523                       <child>
 524                         <widget class="GtkMenuItem" id="menuitem10">
 525                           <property name="visible">True</property>
 526                           <property name="label" translatable="yes">Strike-Out</property>
 527                           <property name="use_underline">True</property>
 528                           <signal name="activate" handler="on_strike_out1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 529                         </widget>
 530                       </child>
 531
 532                       <child>
 533                         <widget class="GtkMenuItem" id="menuitem6">
 534                           <property name="visible">True</property>
 535                           <property name="label" translatable="yes">Underline Plain</property>
 536                           <property name="use_underline">True</property>
 537                           <signal name="activate" handler="on_underline_plain1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 538                         </widget>
 539                       </child>
 540
 541                       <child>
 542                         <widget class="GtkMenuItem" id="menuitem7">
 543                           <property name="visible">True</property>
 544                           <property name="label" translatable="yes">Underline Squiggle</property>
 545                           <property name="use_underline">True</property>
 546                           <signal name="activate" handler="on_underline_squiggle1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 547                         </widget>
 548                       </child>
 549
 550                       <child>
 551                         <widget class="GtkMenuItem" id="menuitem8">
 552                           <property name="visible">True</property>
 553                           <property name="label" translatable="yes">Underline-TT</property>
 554                           <property name="use_underline">True</property>
 555                           <signal name="activate" handler="on_underline-tt1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 556                         </widget>
 557                       </child>
 558
 559                       <child>
 560                         <widget class="GtkMenuItem" id="menuitem9">
 561                           <property name="visible">True</property>
 562                           <property name="label" translatable="yes">Diagonal</property>
 563                           <property name="use_underline">True</property>
 564                           <signal name="activate" handler="on_diagonal1_activate" last_modification_time="Fri, 07 Nov 2003 15:00:33 GMT"/>
 565                         </widget>
 566                       </child>
 567                     </widget>
 568                   </child>
 569                 </widget>
 570                 <packing>
 571                   <property name="left_attach">1</property>
 572                   <property name="right_attach">2</property>
 573                   <property name="top_attach">2</property>
 574                   <property name="bottom_attach">3</property>
 575                   <property name="x_options">fill</property>
 576                   <property name="y_options"></property>
 577                 </packing>
 578               </child>
 579             </widget>
 580           </child>
 581
 582           <child>
 583             <widget class="GtkLabel" id="label139">
 584               <property name="visible">True</property>
 585               <property name="label" translatable="yes">&lt;b&gt;Indicators&lt;/b&gt;</property>
 586               <property name="use_underline">False</property>
 587               <property name="use_markup">True</property>
 588               <property name="justify">GTK_JUSTIFY_LEFT</property>
 589               <property name="wrap">False</property>
 590               <property name="selectable">False</property>
 591               <property name="xalign">0.5</property>
 592               <property name="yalign">0.5</property>
 593               <property name="xpad">0</property>
 594               <property name="ypad">0</property>
 595               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 596               <property name="width_chars">-1</property>
 597               <property name="single_line_mode">False</property>
 598               <property name="angle">0</property>
 599             </widget>
 600             <packing>
 601               <property name="type">label_item</property>
 602             </packing>
 603           </child>
 604         </widget>
 605         <packing>
 606           <property name="padding">0</property>
 607           <property name="expand">False</property>
 608           <property name="fill">True</property>
 609         </packing>
 610       </child>
 611
 612       <child>
 613         <widget class="GtkFrame" id="frame38">
 614           <property name="border_width">5</property>
 615           <property name="visible">True</property>
 616           <property name="label_xalign">0</property>
 617           <property name="label_yalign">0.5</property>
 618           <property name="shadow_type">GTK_SHADOW_NONE</property>
 619
 620           <child>
 621             <widget class="GtkTable" id="table20">
 622               <property name="border_width">10</property>
 623               <property name="visible">True</property>
 624               <property name="n_rows">1</property>
 625               <property name="n_columns">6</property>
 626               <property name="homogeneous">False</property>
 627               <property name="row_spacing">5</property>
 628               <property name="column_spacing">5</property>
 629
 630               <child>
 631                 <widget class="GtkLabel" id="label144">
 632                   <property name="visible">True</property>
 633                   <property name="label" translatable="yes">Errors:</property>
 634                   <property name="use_underline">False</property>
 635                   <property name="use_markup">False</property>
 636                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 637                   <property name="wrap">False</property>
 638                   <property name="selectable">False</property>
 639                   <property name="xalign">0</property>
 640                   <property name="yalign">0.5</property>
 641                   <property name="xpad">0</property>
 642                   <property name="ypad">0</property>
 643                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 644                   <property name="width_chars">-1</property>
 645                   <property name="single_line_mode">False</property>
 646                   <property name="angle">0</property>
 647                 </widget>
 648                 <packing>
 649                   <property name="left_attach">4</property>
 650                   <property name="right_attach">5</property>
 651                   <property name="top_attach">0</property>
 652                   <property name="bottom_attach">1</property>
 653                   <property name="x_options">fill</property>
 654                   <property name="y_options"></property>
 655                 </packing>
 656               </child>
 657
 658               <child>
 659                 <widget class="GtkLabel" id="label146">
 660                   <property name="visible">True</property>
 661                   <property name="label" translatable="yes">Information:</property>
 662                   <property name="use_underline">False</property>
 663                   <property name="use_markup">False</property>
 664                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 665                   <property name="wrap">False</property>
 666                   <property name="selectable">False</property>
 667                   <property name="xalign">0</property>
 668                   <property name="yalign">0.5</property>
 669                   <property name="xpad">0</property>
 670                   <property name="ypad">0</property>
 671                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 672                   <property name="width_chars">-1</property>
 673                   <property name="single_line_mode">False</property>
 674                   <property name="angle">0</property>
 675                 </widget>
 676                 <packing>
 677                   <property name="left_attach">0</property>
 678                   <property name="right_attach">1</property>
 679                   <property name="top_attach">0</property>
 680                   <property name="bottom_attach">1</property>
 681                   <property name="x_options">fill</property>
 682                   <property name="y_options"></property>
 683                 </packing>
 684               </child>
 685
 686               <child>
 687                 <widget class="GtkLabel" id="label145">
 688                   <property name="visible">True</property>
 689                   <property name="label" translatable="yes">Warnings:</property>
 690                   <property name="use_underline">False</property>
 691                   <property name="use_markup">False</property>
 692                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 693                   <property name="wrap">False</property>
 694                   <property name="selectable">False</property>
 695                   <property name="xalign">0</property>
 696                   <property name="yalign">0.5</property>
 697                   <property name="xpad">0</property>
 698                   <property name="ypad">0</property>
 699                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 700                   <property name="width_chars">-1</property>
 701                   <property name="single_line_mode">False</property>
 702                   <property name="angle">0</property>
 703                 </widget>
 704                 <packing>
 705                   <property name="left_attach">2</property>
 706                   <property name="right_attach">3</property>
 707                   <property name="top_attach">0</property>
 708                   <property name="bottom_attach">1</property>
 709                   <property name="x_options">fill</property>
 710                   <property name="y_options"></property>
 711                 </packing>
 712               </child>
 713
 714               <child>
 715                 <widget class="GtkColorButton" id="preferences_color:color:#0000FF:0:messages.color.info">
 716                   <property name="visible">True</property>
 717                   <property name="can_focus">True</property>
 718                   <property name="use_alpha">False</property>
 719                   <property name="focus_on_click">True</property>
 720                 </widget>
 721                 <packing>
 722                   <property name="left_attach">1</property>
 723                   <property name="right_attach">2</property>
 724                   <property name="top_attach">0</property>
 725                   <property name="bottom_attach">1</property>
 726                   <property name="x_options">fill</property>
 727                   <property name="y_options"></property>
 728                 </packing>
 729               </child>
 730
 731               <child>
 732                 <widget class="GtkColorButton" id="preferences_color:color:#F05000:0:messages.color.warning">
 733                   <property name="visible">True</property>
 734                   <property name="can_focus">True</property>
 735                   <property name="use_alpha">False</property>
 736                   <property name="focus_on_click">True</property>
 737                 </widget>
 738                 <packing>
 739                   <property name="left_attach">3</property>
 740                   <property name="right_attach">4</property>
 741                   <property name="top_attach">0</property>
 742                   <property name="bottom_attach">1</property>
 743                   <property name="x_options">fill</property>
 744                   <property name="y_options"></property>
 745                 </packing>
 746               </child>
 747
 748               <child>
 749                 <widget class="GtkColorButton" id="preferences_color:color:#E00000:0:messages.color.error">
 750                   <property name="visible">True</property>
 751                   <property name="can_focus">True</property>
 752                   <property name="use_alpha">False</property>
 753                   <property name="focus_on_click">True</property>
 754                 </widget>
 755                 <packing>
 756                   <property name="left_attach">5</property>
 757                   <property name="right_attach">6</property>
 758                   <property name="top_attach">0</property>
 759                   <property name="bottom_attach">1</property>
 760                   <property name="x_options">fill</property>
 761                   <property name="y_options"></property>
 762                 </packing>
 763               </child>
 764             </widget>
 765           </child>
 766
 767           <child>
 768             <widget class="GtkLabel" id="label143">
 769               <property name="visible">True</property>
 770               <property name="label" translatable="yes">&lt;b&gt;Message colors&lt;/b&gt;</property>
 771               <property name="use_underline">False</property>
 772               <property name="use_markup">True</property>
 773               <property name="justify">GTK_JUSTIFY_LEFT</property>
 774               <property name="wrap">False</property>
 775               <property name="selectable">False</property>
 776               <property name="xalign">0.5</property>
 777               <property name="yalign">0.5</property>
 778               <property name="xpad">0</property>
 779               <property name="ypad">0</property>
 780               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 781               <property name="width_chars">-1</property>
 782               <property name="single_line_mode">False</property>
 783               <property name="angle">0</property>
 784             </widget>
 785             <packing>
 786               <property name="type">label_item</property>
 787             </packing>
 788           </child>
 789         </widget>
 790         <packing>
 791           <property name="padding">0</property>
 792           <property name="expand">False</property>
 793           <property name="fill">True</property>
 794         </packing>
 795       </child>
 796     </widget>
 797   </child>
 798 </widget>
 799
 800 </glade-interface>