components/editor/gtkhtml-editor-builder.ui

   1 <?xml version="1.0"?>
   2 <!--Generated with glade3 3.4.5 on Wed Dec 31 00:39:22 2008 -->
   3 <interface>
   4   <object class="GtkAdjustment" id="adjustment1">
   5     <property name="upper">100</property>
   6     <property name="lower">0</property>
   7     <property name="page_increment">10</property>
   8     <property name="step_increment">1</property>
   9     <property name="page_size">0</property>
  10     <property name="value">0</property>
  11   </object>
  12   <object class="GtkAdjustment" id="adjustment10">
  13     <property name="upper">100</property>
  14     <property name="lower">0</property>
  15     <property name="page_increment">10</property>
  16     <property name="step_increment">1</property>
  17     <property name="page_size">0</property>
  18     <property name="value">0</property>
  19   </object>
  20   <object class="GtkAdjustment" id="adjustment11">
  21     <property name="upper">100</property>
  22     <property name="lower">0</property>
  23     <property name="page_increment">10</property>
  24     <property name="step_increment">1</property>
  25     <property name="page_size">0</property>
  26     <property name="value">0</property>
  27   </object>
  28   <object class="GtkAdjustment" id="adjustment12">
  29     <property name="upper">10000</property>
  30     <property name="lower">0</property>
  31     <property name="page_increment">10</property>
  32     <property name="step_increment">1</property>
  33     <property name="page_size">0</property>
  34     <property name="value">0</property>
  35   </object>
  36   <object class="GtkAdjustment" id="adjustment13">
  37     <property name="upper">10000</property>
  38     <property name="lower">0</property>
  39     <property name="page_increment">10</property>
  40     <property name="step_increment">1</property>
  41     <property name="page_size">0</property>
  42     <property name="value">0</property>
  43   </object>
  44   <object class="GtkAdjustment" id="adjustment14">
  45     <property name="upper">100</property>
  46     <property name="lower">0</property>
  47     <property name="page_increment">10</property>
  48     <property name="step_increment">1</property>
  49     <property name="page_size">0</property>
  50     <property name="value">0</property>
  51   </object>
  52   <object class="GtkAdjustment" id="adjustment15">
  53     <property name="upper">100</property>
  54     <property name="lower">0</property>
  55     <property name="page_increment">10</property>
  56     <property name="step_increment">1</property>
  57     <property name="page_size">0</property>
  58     <property name="value">0</property>
  59   </object>
  60   <object class="GtkAdjustment" id="adjustment16">
  61     <property name="upper">100</property>
  62     <property name="lower">0</property>
  63     <property name="page_increment">10</property>
  64     <property name="step_increment">1</property>
  65     <property name="page_size">0</property>
  66     <property name="value">0</property>
  67   </object>
  68   <object class="GtkAdjustment" id="adjustment2">
  69     <property name="upper">100</property>
  70     <property name="lower">0</property>
  71     <property name="page_increment">10</property>
  72     <property name="step_increment">1</property>
  73     <property name="page_size">0</property>
  74     <property name="value">0</property>
  75   </object>
  76   <object class="GtkAdjustment" id="adjustment3">
  77     <property name="upper">32767</property>
  78     <property name="lower">1</property>
  79     <property name="page_increment">10</property>
  80     <property name="step_increment">1</property>
  81     <property name="page_size">0</property>
  82     <property name="value">1</property>
  83   </object>
  84   <object class="GtkAdjustment" id="adjustment4">
  85     <property name="upper">32767</property>
  86     <property name="lower">1</property>
  87     <property name="page_increment">10</property>
  88     <property name="step_increment">1</property>
  89     <property name="page_size">0</property>
  90     <property name="value">1</property>
  91   </object>
  92   <object class="GtkAdjustment" id="adjustment5">
  93     <property name="upper">100</property>
  94     <property name="lower">1</property>
  95     <property name="page_increment">10</property>
  96     <property name="step_increment">1</property>
  97     <property name="page_size">0</property>
  98     <property name="value">1</property>
  99   </object>
 100   <object class="GtkAdjustment" id="adjustment6">
 101     <property name="upper">32767</property>
 102     <property name="lower">0</property>
 103     <property name="page_increment">10</property>
 104     <property name="step_increment">1</property>
 105     <property name="page_size">0</property>
 106     <property name="value">0</property>
 107   </object>
 108   <object class="GtkAdjustment" id="adjustment7">
 109     <property name="upper">32767</property>
 110     <property name="lower">0</property>
 111     <property name="page_increment">10</property>
 112     <property name="step_increment">1</property>
 113     <property name="page_size">0</property>
 114     <property name="value">0</property>
 115   </object>
 116   <object class="GtkAdjustment" id="adjustment8">
 117     <property name="upper">32767</property>
 118     <property name="lower">0</property>
 119     <property name="page_increment">10</property>
 120     <property name="step_increment">1</property>
 121     <property name="page_size">0</property>
 122     <property name="value">0</property>
 123   </object>
 124   <object class="GtkAdjustment" id="adjustment9">
 125     <property name="upper">100</property>
 126     <property name="lower">0</property>
 127     <property name="page_increment">10</property>
 128     <property name="step_increment">1</property>
 129     <property name="page_size">0</property>
 130     <property name="value">0</property>
 131   </object>
 132   <object class="GtkListStore" id="model1">
 133     <columns>
 134       <column type="gchararray"/>
 135     </columns>
 136     <data>
 137       <row>
 138         <col id="0" translatable="yes">px</col>
 139       </row>
 140       <row>
 141         <col id="0" translatable="yes">%</col>
 142       </row>
 143     </data>
 144   </object>
 145   <object class="GtkListStore" id="model10">
 146     <columns>
 147       <column type="gchararray"/>
 148     </columns>
 149     <data>
 150       <row>
 151         <col id="0" translatable="yes">px</col>
 152       </row>
 153       <row>
 154         <col id="0" translatable="yes">%</col>
 155       </row>
 156       <row>
 157         <col id="0" translatable="yes">follow</col>
 158       </row>
 159     </data>
 160   </object>
 161   <object class="GtkListStore" id="model11">
 162     <columns>
 163       <column type="gchararray"/>
 164     </columns>
 165     <data>
 166       <row>
 167         <col id="0" translatable="yes">Top</col>
 168       </row>
 169       <row>
 170         <col id="0" translatable="yes">Middle</col>
 171       </row>
 172       <row>
 173         <col id="0" translatable="yes">Bottom</col>
 174       </row>
 175     </data>
 176   </object>
 177   <object class="GtkListStore" id="model2">
 178     <columns>
 179       <column type="gchararray"/>
 180     </columns>
 181     <data>
 182       <row>
 183         <col id="0" translatable="yes">Left</col>
 184       </row>
 185       <row>
 186         <col id="0" translatable="yes">Center</col>
 187       </row>
 188       <row>
 189         <col id="0" translatable="yes">Right</col>
 190       </row>
 191     </data>
 192   </object>
 193   <object class="GtkListStore" id="model3">
 194     <columns>
 195       <column type="gchararray"/>
 196     </columns>
 197     <data>
 198       <row>
 199         <col id="0" translatable="yes">px</col>
 200       </row>
 201       <row>
 202         <col id="0" translatable="yes">%</col>
 203       </row>
 204     </data>
 205   </object>
 206   <object class="GtkListStore" id="model4">
 207     <columns>
 208       <column type="gchararray"/>
 209     </columns>
 210     <data>
 211       <row>
 212         <col id="0" translatable="yes">Left</col>
 213       </row>
 214       <row>
 215         <col id="0" translatable="yes">Center</col>
 216       </row>
 217       <row>
 218         <col id="0" translatable="yes">Right</col>
 219       </row>
 220     </data>
 221   </object>
 222   <object class="GtkListStore" id="model5">
 223     <columns>
 224       <column type="gchararray"/>
 225     </columns>
 226     <data>
 227       <row>
 228         <col id="0" translatable="yes">None</col>
 229       </row>
 230       <row>
 231         <col id="0" translatable="yes">Perforated Paper</col>
 232       </row>
 233       <row>
 234         <col id="0" translatable="yes">Blue Ink</col>
 235       </row>
 236       <row>
 237         <col id="0" translatable="yes">Paper</col>
 238       </row>
 239       <row>
 240         <col id="0" translatable="yes">Ribbon</col>
 241       </row>
 242       <row>
 243         <col id="0" translatable="yes">Midnight</col>
 244       </row>
 245       <row>
 246         <col id="0" translatable="yes">Confidential</col>
 247       </row>
 248       <row>
 249         <col id="0" translatable="yes">Draft</col>
 250       </row>
 251       <row>
 252         <col id="0" translatable="yes">Graph Paper</col>
 253       </row>
 254     </data>
 255   </object>
 256   <object class="GtkListStore" id="model6">
 257     <columns>
 258       <column type="gchararray"/>
 259     </columns>
 260     <data>
 261       <row>
 262         <col id="0" translatable="yes">Top</col>
 263       </row>
 264       <row>
 265         <col id="0" translatable="yes">Middle</col>
 266       </row>
 267       <row>
 268         <col id="0" translatable="yes">Bottom</col>
 269       </row>
 270     </data>
 271   </object>
 272   <object class="GtkListStore" id="model7">
 273     <columns>
 274       <column type="gchararray"/>
 275     </columns>
 276     <data>
 277       <row>
 278         <col id="0" translatable="yes">Left</col>
 279       </row>
 280       <row>
 281         <col id="0" translatable="yes">Center</col>
 282       </row>
 283       <row>
 284         <col id="0" translatable="yes">Right</col>
 285       </row>
 286     </data>
 287   </object>
 288   <object class="GtkListStore" id="model8">
 289     <columns>
 290       <column type="gchararray"/>
 291     </columns>
 292     <data>
 293       <row>
 294         <col id="0" translatable="yes">px</col>
 295       </row>
 296       <row>
 297         <col id="0" translatable="yes">%</col>
 298       </row>
 299     </data>
 300   </object>
 301   <object class="GtkListStore" id="model9">
 302     <columns>
 303       <column type="gchararray"/>
 304     </columns>
 305     <data>
 306       <row>
 307         <col id="0" translatable="yes">px</col>
 308       </row>
 309       <row>
 310         <col id="0" translatable="yes">%</col>
 311       </row>
 312       <row>
 313         <col id="0" translatable="yes">follow</col>
 314       </row>
 315     </data>
 316   </object>
 317   <object class="GtkWindow" id="text-properties-window">
 318     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 319     <property name="title" translatable="yes">Text Properties</property>
 320     <property name="resizable">False</property>
 321     <property name="modal">True</property>
 322     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 323     <property name="destroy_with_parent">True</property>
 324     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
 325     <child>
 326       <object class="GtkVBox" id="text-properties-vbox">
 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="border_width">12</property>
 330         <property name="spacing">12</property>
 331         <child>
 332           <object class="GtkHBox" id="text-properties-inner-hbox">
 333             <property name="visible">True</property>
 334             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 335             <property name="border_width">6</property>
 336             <property name="spacing">12</property>
 337             <child>
 338               <object class="GtkTable" id="text-properties-table-left">
 339                 <property name="visible">True</property>
 340                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 341                 <property name="n_rows">4</property>
 342                 <property name="n_columns">2</property>
 343                 <property name="column_spacing">6</property>
 344                 <property name="row_spacing">6</property>
 345                 <child>
 346                   <object class="GtkCheckButton" id="text-properties-strikethrough-button">
 347                     <property name="visible">True</property>
 348                     <property name="can_focus">True</property>
 349                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 350                     <property name="label" translatable="yes">_Strikethrough</property>
 351                     <property name="use_underline">True</property>
 352                     <property name="draw_indicator">True</property>
 353                   </object>
 354                   <packing>
 355                     <property name="left_attach">1</property>
 356                     <property name="right_attach">2</property>
 357                     <property name="top_attach">3</property>
 358                     <property name="bottom_attach">4</property>
 359                     <property name="y_options"/>
 360                   </packing>
 361                 </child>
 362                 <child>
 363                   <object class="GtkCheckButton" id="text-properties-underline-button">
 364                     <property name="visible">True</property>
 365                     <property name="can_focus">True</property>
 366                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 367                     <property name="label" translatable="yes">_Underline</property>
 368                     <property name="use_underline">True</property>
 369                     <property name="draw_indicator">True</property>
 370                   </object>
 371                   <packing>
 372                     <property name="left_attach">1</property>
 373                     <property name="right_attach">2</property>
 374                     <property name="top_attach">2</property>
 375                     <property name="bottom_attach">3</property>
 376                     <property name="y_options"/>
 377                   </packing>
 378                 </child>
 379                 <child>
 380                   <object class="GtkCheckButton" id="text-properties-italic-button">
 381                     <property name="visible">True</property>
 382                     <property name="can_focus">True</property>
 383                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 384                     <property name="label" translatable="yes">_Italic</property>
 385                     <property name="use_underline">True</property>
 386                     <property name="draw_indicator">True</property>
 387                   </object>
 388                   <packing>
 389                     <property name="left_attach">1</property>
 390                     <property name="right_attach">2</property>
 391                     <property name="top_attach">1</property>
 392                     <property name="bottom_attach">2</property>
 393                     <property name="y_options"/>
 394                   </packing>
 395                 </child>
 396                 <child>
 397                   <object class="GtkCheckButton" id="text-properties-bold-button">
 398                     <property name="visible">True</property>
 399                     <property name="can_focus">True</property>
 400                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 401                     <property name="label" translatable="yes">_Bold</property>
 402                     <property name="use_underline">True</property>
 403                     <property name="draw_indicator">True</property>
 404                   </object>
 405                   <packing>
 406                     <property name="left_attach">1</property>
 407                     <property name="right_attach">2</property>
 408                     <property name="y_options"/>
 409                   </packing>
 410                 </child>
 411                 <child>
 412                   <object class="GtkImage" id="text-properties-strikethrough-image">
 413                     <property name="visible">True</property>
 414                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 415                     <property name="stock">gtk-strikethrough</property>
 416                   </object>
 417                   <packing>
 418                     <property name="top_attach">3</property>
 419                     <property name="bottom_attach">4</property>
 420                     <property name="x_options"/>
 421                     <property name="y_options"/>
 422                   </packing>
 423                 </child>
 424                 <child>
 425                   <object class="GtkImage" id="text-properties-underline-image">
 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="stock">gtk-underline</property>
 429                   </object>
 430                   <packing>
 431                     <property name="top_attach">2</property>
 432                     <property name="bottom_attach">3</property>
 433                     <property name="x_options"/>
 434                     <property name="y_options"/>
 435                   </packing>
 436                 </child>
 437                 <child>
 438                   <object class="GtkImage" id="text-properties-italic-image">
 439                     <property name="visible">True</property>
 440                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 441                     <property name="stock">gtk-italic</property>
 442                   </object>
 443                   <packing>
 444                     <property name="top_attach">1</property>
 445                     <property name="bottom_attach">2</property>
 446                     <property name="x_options"/>
 447                     <property name="y_options"/>
 448                   </packing>
 449                 </child>
 450                 <child>
 451                   <object class="GtkImage" id="text-properties-bold-image">
 452                     <property name="visible">True</property>
 453                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 454                     <property name="stock">gtk-bold</property>
 455                   </object>
 456                   <packing>
 457                     <property name="x_options"/>
 458                     <property name="y_options"/>
 459                   </packing>
 460                 </child>
 461               </object>
 462             </child>
 463             <child>
 464               <object class="GtkTable" id="text-properties-table-right">
 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="n_rows">3</property>
 468                 <property name="n_columns">2</property>
 469                 <property name="column_spacing">6</property>
 470                 <property name="row_spacing">6</property>
 471                 <child>
 472                   <object class="GtkhtmlColorCombo" id="text-properties-color-combo">
 473                     <property name="visible">True</property>
 474                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 475                     <property name="default_label">Automatic</property>
 476                   </object>
 477                   <packing>
 478                     <property name="left_attach">1</property>
 479                     <property name="right_attach">2</property>
 480                     <property name="y_options">GTK_FILL</property>
 481                   </packing>
 482                 </child>
 483                 <child>
 484                   <object class="GtkLabel" id="text-properties-size-label">
 485                     <property name="visible">True</property>
 486                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 487                     <property name="label" translatable="yes">Si_ze:</property>
 488                     <property name="use_underline">True</property>
 489                   </object>
 490                   <packing>
 491                     <property name="top_attach">1</property>
 492                     <property name="bottom_attach">2</property>
 493                     <property name="x_options">GTK_FILL</property>
 494                     <property name="y_options"/>
 495                   </packing>
 496                 </child>
 497                 <child>
 498                   <object class="GtkLabel" id="text-properties-color-label">
 499                     <property name="visible">True</property>
 500                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 501                     <property name="label" translatable="yes">_Color:</property>
 502                     <property name="use_underline">True</property>
 503                   </object>
 504                   <packing>
 505                     <property name="x_options">GTK_FILL</property>
 506                     <property name="y_options"/>
 507                   </packing>
 508                 </child>
 509                 <child>
 510                   <object class="GtkAlignment" id="text-properties-alignment">
 511                     <property name="visible">True</property>
 512                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 513                     <child>
 514                       <placeholder/>
 515                     </child>
 516                   </object>
 517                   <packing>
 518                     <property name="right_attach">2</property>
 519                     <property name="top_attach">2</property>
 520                     <property name="bottom_attach">3</property>
 521                   </packing>
 522                 </child>
 523                 <child>
 524                   <object class="GtkhtmlComboBox" id="text-properties-size-combo-box">
 525                     <property name="visible">True</property>
 526                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 527                   </object>
 528                   <packing>
 529                     <property name="left_attach">1</property>
 530                     <property name="right_attach">2</property>
 531                     <property name="top_attach">1</property>
 532                     <property name="bottom_attach">2</property>
 533                     <property name="y_options"/>
 534                   </packing>
 535                 </child>
 536               </object>
 537               <packing>
 538                 <property name="position">1</property>
 539               </packing>
 540             </child>
 541           </object>
 542         </child>
 543         <child>
 544           <object class="GtkHButtonBox" id="text-properties-button-box">
 545             <property name="visible">True</property>
 546             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 547             <property name="layout_style">GTK_BUTTONBOX_END</property>
 548             <child>
 549               <object class="GtkButton" id="text-properties-ok-button">
 550                 <property name="visible">True</property>
 551                 <property name="can_focus">True</property>
 552                 <property name="receives_default">True</property>
 553                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 554                 <property name="label">gtk-ok</property>
 555                 <property name="use_stock">True</property>
 556                 <signal handler="gtk_widget_hide" name="clicked" object="text-properties-window"/>
 557               </object>
 558               <packing>
 559                 <property name="position">1</property>
 560               </packing>
 561             </child>
 562           </object>
 563           <packing>
 564             <property name="expand">False</property>
 565             <property name="fill">False</property>
 566             <property name="pack_type">GTK_PACK_END</property>
 567             <property name="position">1</property>
 568           </packing>
 569         </child>
 570       </object>
 571     </child>
 572   </object>
 573   <object class="GtkWindow" id="paragraph-properties-window">
 574     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 575     <property name="title" translatable="yes">Paragraph Properties</property>
 576     <property name="resizable">False</property>
 577     <property name="modal">True</property>
 578     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 579     <property name="destroy_with_parent">True</property>
 580     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
 581     <child>
 582       <object class="GtkVBox" id="paragraph-properties-vbox">
 583         <property name="visible">True</property>
 584         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 585         <property name="border_width">12</property>
 586         <property name="spacing">12</property>
 587         <child>
 588           <object class="GtkVBox" id="paragraph-properties-general-vbox">
 589             <property name="visible">True</property>
 590             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 591             <property name="spacing">6</property>
 592             <child>
 593               <object class="GtkLabel" id="paragraph-properties-general-label">
 594                 <property name="visible">True</property>
 595                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 596                 <property name="xalign">0</property>
 597                 <property name="label" translatable="yes">General</property>
 598                 <attributes>
 599                   <attribute name="weight" value="bold"/>
 600                 </attributes>
 601               </object>
 602               <packing>
 603                 <property name="expand">False</property>
 604                 <property name="fill">False</property>
 605               </packing>
 606             </child>
 607             <child>
 608               <object class="GtkAlignment" id="paragraph-properties-general-alignment">
 609                 <property name="visible">True</property>
 610                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 611                 <property name="left_padding">12</property>
 612                 <child>
 613                   <object class="GtkHBox" id="paragraph-properties-general-hbox">
 614                     <property name="visible">True</property>
 615                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 616                     <property name="spacing">6</property>
 617                     <child>
 618                       <object class="GtkLabel" id="paragraph-properties-general-style-label">
 619                         <property name="visible">True</property>
 620                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 621                         <property name="xalign">0</property>
 622                         <property name="label" translatable="yes">_Style:</property>
 623                         <property name="use_underline">True</property>
 624                       </object>
 625                       <packing>
 626                         <property name="expand">False</property>
 627                         <property name="fill">False</property>
 628                       </packing>
 629                     </child>
 630                     <child>
 631                       <object class="GtkhtmlComboBox" id="paragraph-properties-style-combo-box">
 632                         <property name="visible">True</property>
 633                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 634                       </object>
 635                       <packing>
 636                         <property name="expand">False</property>
 637                         <property name="fill">False</property>
 638                         <property name="position">1</property>
 639                       </packing>
 640                     </child>
 641                   </object>
 642                 </child>
 643               </object>
 644               <packing>
 645                 <property name="expand">False</property>
 646                 <property name="fill">False</property>
 647                 <property name="position">1</property>
 648               </packing>
 649             </child>
 650           </object>
 651         </child>
 652         <child>
 653           <object class="GtkVBox" id="paragraph-properties-alignment-vbox">
 654             <property name="visible">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="spacing">6</property>
 657             <child>
 658               <object class="GtkLabel" id="paragraph-properties-alignment-label">
 659                 <property name="visible">True</property>
 660                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 661                 <property name="xalign">0</property>
 662                 <property name="label" translatable="yes">Alignment</property>
 663                 <attributes>
 664                   <attribute name="weight" value="bold"/>
 665                 </attributes>
 666               </object>
 667               <packing>
 668                 <property name="expand">False</property>
 669                 <property name="fill">False</property>
 670               </packing>
 671             </child>
 672             <child>
 673               <object class="GtkAlignment" id="paragraph-properties-alignment-alignment">
 674                 <property name="visible">True</property>
 675                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 676                 <property name="left_padding">12</property>
 677                 <child>
 678                   <object class="GtkHButtonBox" id="paragraph-properties-alignment-button-box">
 679                     <property name="visible">True</property>
 680                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 681                     <property name="spacing">6</property>
 682                     <property name="homogeneous">True</property>
 683                     <child>
 684                       <object class="GtkToggleButton" id="paragraph-properties-left-button">
 685                         <property name="visible">True</property>
 686                         <property name="can_focus">True</property>
 687                         <property name="receives_default">True</property>
 688                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 689                         <property name="label">gtk-justify-left</property>
 690                         <property name="use_stock">True</property>
 691                       </object>
 692                     </child>
 693                     <child>
 694                       <object class="GtkToggleButton" id="paragraph-properties-center-button">
 695                         <property name="visible">True</property>
 696                         <property name="can_focus">True</property>
 697                         <property name="receives_default">True</property>
 698                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 699                         <property name="label">gtk-justify-center</property>
 700                         <property name="use_stock">True</property>
 701                       </object>
 702                       <packing>
 703                         <property name="position">1</property>
 704                       </packing>
 705                     </child>
 706                     <child>
 707                       <object class="GtkToggleButton" id="paragraph-properties-right-button">
 708                         <property name="visible">True</property>
 709                         <property name="can_focus">True</property>
 710                         <property name="receives_default">True</property>
 711                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 712                         <property name="label">gtk-justify-right</property>
 713                         <property name="use_stock">True</property>
 714                       </object>
 715                       <packing>
 716                         <property name="position">2</property>
 717                       </packing>
 718                     </child>
 719                   </object>
 720                 </child>
 721               </object>
 722               <packing>
 723                 <property name="expand">False</property>
 724                 <property name="fill">False</property>
 725                 <property name="position">1</property>
 726               </packing>
 727             </child>
 728           </object>
 729           <packing>
 730             <property name="position">1</property>
 731           </packing>
 732         </child>
 733         <child>
 734           <object class="GtkHButtonBox" id="paragraph-properties-button-box">
 735             <property name="visible">True</property>
 736             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 737             <property name="layout_style">GTK_BUTTONBOX_END</property>
 738             <child>
 739               <object class="GtkButton" id="paragraph-properties-ok-button">
 740                 <property name="visible">True</property>
 741                 <property name="can_focus">True</property>
 742                 <property name="receives_default">True</property>
 743                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 744                 <property name="label">gtk-ok</property>
 745                 <property name="use_stock">True</property>
 746                 <signal handler="gtk_widget_hide" name="clicked" object="paragraph-properties-window"/>
 747               </object>
 748               <packing>
 749                 <property name="position">1</property>
 750               </packing>
 751             </child>
 752           </object>
 753           <packing>
 754             <property name="expand">False</property>
 755             <property name="fill">False</property>
 756             <property name="pack_type">GTK_PACK_END</property>
 757             <property name="position">2</property>
 758           </packing>
 759         </child>
 760       </object>
 761     </child>
 762   </object>
 763   <object class="GtkWindow" id="find-window">
 764     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 765     <property name="title" translatable="yes">Find</property>
 766     <property name="resizable">False</property>
 767     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 768     <property name="destroy_with_parent">True</property>
 769     <property name="icon_name">gtk-find</property>
 770     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
 771     <signal handler="gtk_widget_grab_focus" name="show" object="find-entry"/>
 772     <child>
 773       <object class="GtkVBox" id="find-vbox">
 774         <property name="visible">True</property>
 775         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 776         <property name="border_width">12</property>
 777         <property name="spacing">12</property>
 778         <child>
 779           <object class="GtkVBox" id="find-inner-vbox">
 780             <property name="visible">True</property>
 781             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 782             <property name="spacing">6</property>
 783             <child>
 784               <object class="GtkEntry" id="find-entry">
 785                 <property name="visible">True</property>
 786                 <property name="can_focus">True</property>
 787                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 788                 <property name="activates_default">True</property>
 789                 <signal handler="gtkhtml_editor_find_entry_changed_cb" name="changed" object="find-window"/>
 790                 <signal handler="gtkhtml_editor_find_entry_activate_cb" name="activate" object="find-window"/>
 791               </object>
 792               <packing>
 793                 <property name="expand">False</property>
 794                 <property name="fill">False</property>
 795               </packing>
 796             </child>
 797             <child>
 798               <object class="GtkHBox" id="find-hbox">
 799                 <property name="visible">True</property>
 800                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 801                 <property name="spacing">6</property>
 802                 <child>
 803                   <object class="GtkCheckButton" id="find-backwards">
 804                     <property name="visible">True</property>
 805                     <property name="can_focus">True</property>
 806                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 807                     <property name="label" translatable="yes">Search _backwards</property>
 808                     <property name="use_underline">True</property>
 809                     <property name="draw_indicator">True</property>
 810                     <signal handler="gtkhtml_editor_find_backwards_toggled_cb" name="toggled" object="find-window"/>
 811                   </object>
 812                 </child>
 813                 <child>
 814                   <object class="GtkCheckButton" id="find-case-sensitive">
 815                     <property name="visible">True</property>
 816                     <property name="can_focus">True</property>
 817                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 818                     <property name="label" translatable="yes">Case _sensitive</property>
 819                     <property name="use_underline">True</property>
 820                     <property name="draw_indicator">True</property>
 821                     <signal handler="gtkhtml_editor_find_case_sensitive_toggled_cb" name="toggled" object="find-window"/>
 822                   </object>
 823                   <packing>
 824                     <property name="position">1</property>
 825                   </packing>
 826                 </child>
 827                 <child>
 828                   <object class="GtkCheckButton" id="find-regular-expression">
 829                     <property name="visible">True</property>
 830                     <property name="can_focus">True</property>
 831                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 832                     <property name="label" translatable="yes">_Regular expression</property>
 833                     <property name="use_underline">True</property>
 834                     <property name="draw_indicator">True</property>
 835                     <signal handler="gtkhtml_editor_find_regular_expression_toggled_cb" name="toggled" object="find-window"/>
 836                   </object>
 837                   <packing>
 838                     <property name="position">2</property>
 839                   </packing>
 840                 </child>
 841               </object>
 842               <packing>
 843                 <property name="expand">False</property>
 844                 <property name="fill">False</property>
 845                 <property name="position">1</property>
 846               </packing>
 847             </child>
 848           </object>
 849           <packing>
 850             <property name="expand">False</property>
 851             <property name="fill">False</property>
 852           </packing>
 853         </child>
 854         <child>
 855           <object class="GtkHBox" id="find-inner-hbox">
 856             <property name="visible">True</property>
 857             <child>
 858               <object class="GtkLabel" id="find-result-label">
 859                 <property name="visible">True</property>
 860                 <property name="label"></property>
 861                 <property name="xalign">0</property>
 862               </object>
 863             </child>
 864             <child>
 865               <object class="GtkHButtonBox" id="find-button-box">
 866                 <property name="visible">True</property>
 867                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 868                 <property name="spacing">12</property>
 869                 <property name="layout_style">GTK_BUTTONBOX_END</property>
 870                 <child>
 871                   <object class="GtkButton" id="find-close-button">
 872                     <property name="visible">True</property>
 873                     <property name="can_focus">True</property>
 874                     <property name="receives_default">True</property>
 875                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 876                     <property name="label">gtk-close</property>
 877                     <property name="use_stock">True</property>
 878                     <signal handler="gtk_widget_hide" name="clicked" object="find-window"/>
 879                   </object>
 880                 </child>
 881                 <child>
 882                   <object class="GtkButton" id="find-button">
 883                     <property name="visible">True</property>
 884                     <property name="can_focus">True</property>
 885                     <property name="can_default">True</property>
 886                     <property name="has_default">True</property>
 887                     <property name="receives_default">True</property>
 888                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 889                     <property name="label">gtk-find</property>
 890                     <property name="use_stock">True</property>
 891                   </object>
 892                   <packing>
 893                     <property name="position">1</property>
 894                   </packing>
 895                 </child>
 896               </object>
 897               <packing>
 898                 <property name="expand">False</property>
 899                 <property name="fill">False</property>
 900                 <property name="pack_type">GTK_PACK_END</property>
 901                 <property name="position">1</property>
 902               </packing>
 903             </child>
 904           </object>
 905           <packing>
 906             <property name="expand">True</property>
 907             <property name="fill">True</property>
 908           </packing>
 909         </child>
 910       </object>
 911     </child>
 912   </object>
 913   <object class="GtkWindow" id="replace-window">
 914     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 915     <property name="title" translatable="yes">Replace</property>
 916     <property name="resizable">False</property>
 917     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 918     <property name="destroy_with_parent">True</property>
 919     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
 920     <signal handler="gtk_widget_grab_focus" name="show" object="replace-entry"/>
 921     <child>
 922       <object class="GtkVBox" id="replace-vbox">
 923         <property name="visible">True</property>
 924         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 925         <property name="border_width">12</property>
 926         <property name="spacing">12</property>
 927         <child>
 928           <object class="GtkTable" id="replace-table">
 929             <property name="visible">True</property>
 930             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 931             <property name="n_rows">3</property>
 932             <property name="n_columns">3</property>
 933             <property name="column_spacing">6</property>
 934             <property name="row_spacing">6</property>
 935             <child>
 936               <object class="GtkEntry" id="replace-with-entry">
 937                 <property name="visible">True</property>
 938                 <property name="can_focus">True</property>
 939                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 940               </object>
 941               <packing>
 942                 <property name="left_attach">1</property>
 943                 <property name="right_attach">3</property>
 944                 <property name="top_attach">1</property>
 945                 <property name="bottom_attach">2</property>
 946               </packing>
 947             </child>
 948             <child>
 949               <object class="GtkEntry" id="replace-entry">
 950                 <property name="visible">True</property>
 951                 <property name="can_focus">True</property>
 952                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 953               </object>
 954               <packing>
 955                 <property name="left_attach">1</property>
 956                 <property name="right_attach">3</property>
 957               </packing>
 958             </child>
 959             <child>
 960               <object class="GtkLabel" id="replace-with-label">
 961                 <property name="visible">True</property>
 962                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 963                 <property name="xalign">1</property>
 964                 <property name="label" translatable="yes">_With:</property>
 965                 <property name="use_underline">True</property>
 966                 <property name="mnemonic_widget">replace-with-entry</property>
 967               </object>
 968               <packing>
 969                 <property name="top_attach">1</property>
 970                 <property name="bottom_attach">2</property>
 971                 <property name="x_options">GTK_FILL</property>
 972                 <property name="y_options"/>
 973               </packing>
 974             </child>
 975             <child>
 976               <object class="GtkLabel" id="replace-label">
 977                 <property name="visible">True</property>
 978                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 979                 <property name="xalign">1</property>
 980                 <property name="label" translatable="yes">R_eplace:</property>
 981                 <property name="use_underline">True</property>
 982                 <property name="mnemonic_widget">replace-entry</property>
 983               </object>
 984               <packing>
 985                 <property name="x_options">GTK_FILL</property>
 986                 <property name="y_options"/>
 987               </packing>
 988             </child>
 989             <child>
 990               <object class="GtkCheckButton" id="replace-backwards">
 991                 <property name="visible">True</property>
 992                 <property name="can_focus">True</property>
 993                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 994                 <property name="label" translatable="yes">Search _backwards</property>
 995                 <property name="use_underline">True</property>
 996                 <property name="draw_indicator">True</property>
 997               </object>
 998               <packing>
 999                 <property name="left_attach">1</property>
1000                 <property name="right_attach">2</property>
1001                 <property name="top_attach">2</property>
1002                 <property name="bottom_attach">3</property>
1003                 <property name="x_options"/>
1004                 <property name="y_options"/>
1005               </packing>
1006             </child>
1007             <child>
1008               <object class="GtkCheckButton" id="replace-case-sensitive">
1009                 <property name="visible">True</property>
1010                 <property name="can_focus">True</property>
1011                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1012                 <property name="label" translatable="yes">Case _sensitive</property>
1013                 <property name="use_underline">True</property>
1014                 <property name="draw_indicator">True</property>
1015               </object>
1016               <packing>
1017                 <property name="left_attach">2</property>
1018                 <property name="right_attach">3</property>
1019                 <property name="top_attach">2</property>
1020                 <property name="bottom_attach">3</property>
1021                 <property name="y_options"/>
1022               </packing>
1023             </child>
1024             <child>
1025               <object class="GtkAlignment" id="replace-alignment">
1026                 <property name="visible">True</property>
1027                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1028                 <child>
1029                   <placeholder/>
1030                 </child>
1031               </object>
1032               <packing>
1033                 <property name="top_attach">2</property>
1034                 <property name="bottom_attach">3</property>
1035                 <property name="x_options"/>
1036                 <property name="y_options"/>
1037               </packing>
1038             </child>
1039           </object>
1040           <packing>
1041             <property name="expand">False</property>
1042             <property name="fill">False</property>
1043           </packing>
1044         </child>
1045         <child>
1046           <object class="GtkHButtonBox" id="replace-button-box">
1047             <property name="visible">True</property>
1048             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1049             <property name="spacing">12</property>
1050             <property name="layout_style">GTK_BUTTONBOX_END</property>
1051             <child>
1052               <object class="GtkButton" id="replace-close-button">
1053                 <property name="visible">True</property>
1054                 <property name="can_focus">True</property>
1055                 <property name="receives_default">True</property>
1056                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1057                 <property name="label">gtk-close</property>
1058                 <property name="use_stock">True</property>
1059                 <signal handler="gtk_widget_hide" name="clicked" object="replace-window"/>
1060               </object>
1061             </child>
1062             <child>
1063               <object class="GtkButton" id="replace-button">
1064                 <property name="visible">True</property>
1065                 <property name="can_focus">True</property>
1066                 <property name="can_default">True</property>
1067                 <property name="has_default">True</property>
1068                 <property name="receives_default">True</property>
1069                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1070                 <property name="label">gtk-find-and-replace</property>
1071                 <property name="use_stock">True</property>
1072               </object>
1073               <packing>
1074                 <property name="position">1</property>
1075               </packing>
1076             </child>
1077           </object>
1078           <packing>
1079             <property name="expand">False</property>
1080             <property name="fill">False</property>
1081             <property name="pack_type">GTK_PACK_END</property>
1082             <property name="position">1</property>
1083           </packing>
1084         </child>
1085       </object>
1086     </child>
1087   </object>
1088   <object class="GtkWindow" id="replace-confirmation-window">
1089     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1090     <property name="title" translatable="yes">Replace Confirmation</property>
1091     <property name="resizable">False</property>
1092     <property name="destroy_with_parent">True</property>
1093     <property name="icon_name">gtk-find-and-replace</property>
1094     <signal handler="gtkhtml_editor_replace_confirmation_delete_event_cb" name="delete_event"/>
1095     <child>
1096       <object class="GtkHButtonBox" id="replace-confirmation-button-box">
1097         <property name="visible">True</property>
1098         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1099         <property name="border_width">12</property>
1100         <property name="spacing">12</property>
1101         <property name="homogeneous">True</property>
1102         <child>
1103           <object class="GtkButton" id="replace-confirmation-replace-all-button">
1104             <property name="visible">True</property>
1105             <property name="can_focus">True</property>
1106             <property name="receives_default">True</property>
1107             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1108           </object>
1109         </child>
1110         <child>
1111           <object class="GtkButton" id="replace-confirmation-next-button">
1112             <property name="visible">True</property>
1113             <property name="can_focus">True</property>
1114             <property name="receives_default">True</property>
1115             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1116           </object>
1117           <packing>
1118             <property name="position">1</property>
1119           </packing>
1120         </child>
1121         <child>
1122           <object class="GtkButton" id="replace-confirmation-close-button">
1123             <property name="visible">True</property>
1124             <property name="can_focus">True</property>
1125             <property name="receives_default">True</property>
1126             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1127             <property name="use_stock">True</property>
1128           </object>
1129           <packing>
1130             <property name="position">2</property>
1131           </packing>
1132         </child>
1133         <child>
1134           <object class="GtkButton" id="replace-confirmation-replace-button">
1135             <property name="visible">True</property>
1136             <property name="can_focus">True</property>
1137             <property name="receives_default">True</property>
1138             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1139           </object>
1140           <packing>
1141             <property name="position">3</property>
1142           </packing>
1143         </child>
1144       </object>
1145     </child>
1146   </object>
1147   <object class="GtkWindow" id="link-properties-window">
1148     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1149     <property name="title" translatable="yes">Link Properties</property>
1150     <property name="modal">True</property>
1151     <property name="window_position">GTK_WIN_POS_CENTER</property>
1152     <property name="destroy_with_parent">True</property>
1153     <signal handler="gtkhtml_editor_link_properties_show_window_cb" name="show"/>
1154     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
1155     <child>
1156       <object class="GtkVBox" id="link-properties-vbox">
1157         <property name="visible">True</property>
1158         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1159         <property name="border_width">12</property>
1160         <property name="spacing">12</property>
1161         <child>
1162           <object class="GtkTable" id="link-properties-table">
1163             <property name="visible">True</property>
1164             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1165             <property name="n_rows">2</property>
1166             <property name="n_columns">3</property>
1167             <property name="column_spacing">6</property>
1168             <property name="row_spacing">6</property>
1169             <child>
1170               <object class="GtkLabel" id="link-properties-url-label">
1171                 <property name="visible">True</property>
1172                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1173                 <property name="xalign">1</property>
1174                 <property name="label" translatable="yes">_URL:</property>
1175                 <property name="use_underline">True</property>
1176                 <property name="mnemonic_widget">link-properties-url-entry</property>
1177               </object>
1178               <packing>
1179                 <property name="x_options">GTK_FILL</property>
1180                 <property name="y_options"/>
1181               </packing>
1182             </child>
1183             <child>
1184               <object class="GtkLabel" id="link-properties-description-label">
1185                 <property name="visible">True</property>
1186                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1187                 <property name="label" translatable="yes">_Description:</property>
1188                 <property name="use_underline">True</property>
1189                 <property name="mnemonic_widget">link-properties-description-entry</property>
1190               </object>
1191               <packing>
1192                 <property name="top_attach">1</property>
1193                 <property name="bottom_attach">2</property>
1194                 <property name="x_options">GTK_FILL</property>
1195                 <property name="y_options"/>
1196               </packing>
1197             </child>
1198             <child>
1199               <object class="GtkEntry" id="link-properties-url-entry">
1200                 <property name="visible">True</property>
1201                 <property name="can_focus">True</property>
1202                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1203                 <signal handler="gtkhtml_editor_link_properties_url_changed_cb" name="changed" object="link-properties-window"/>
1204               </object>
1205               <packing>
1206                 <property name="left_attach">1</property>
1207                 <property name="right_attach">2</property>
1208                 <property name="y_options"/>
1209               </packing>
1210             </child>
1211             <child>
1212               <object class="GtkEntry" id="link-properties-description-entry">
1213                 <property name="visible">True</property>
1214                 <property name="can_focus">True</property>
1215                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1216                 <signal handler="gtkhtml_editor_link_properties_description_changed_cb" name="changed" object="link-properties-window"/>
1217               </object>
1218               <packing>
1219                 <property name="left_attach">1</property>
1220                 <property name="right_attach">3</property>
1221                 <property name="top_attach">1</property>
1222                 <property name="bottom_attach">2</property>
1223                 <property name="y_options"/>
1224               </packing>
1225             </child>
1226             <child>
1227               <object class="GtkButton" id="link-properties-test-button">
1228                 <property name="visible">True</property>
1229                 <property name="can_focus">True</property>
1230                 <property name="receives_default">True</property>
1231                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1232                 <property name="use_underline">True</property>
1233               </object>
1234               <packing>
1235                 <property name="left_attach">2</property>
1236                 <property name="right_attach">3</property>
1237                 <property name="x_options"/>
1238                 <property name="y_options"/>
1239               </packing>
1240             </child>
1241           </object>
1242         </child>
1243         <child>
1244           <object class="GtkHButtonBox" id="link-properties-button-box">
1245             <property name="visible">True</property>
1246             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1247             <property name="spacing">6</property>
1248             <property name="layout_style">GTK_BUTTONBOX_END</property>
1249             <child>
1250               <object class="GtkButton" id="link-properties-close-button">
1251                 <property name="visible">True</property>
1252                 <property name="can_focus">True</property>
1253                 <property name="receives_default">True</property>
1254                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1255                 <property name="label">gtk-close</property>
1256                 <property name="use_stock">True</property>
1257                 <signal handler="gtk_widget_hide" name="clicked" object="link-properties-window"/>
1258               </object>
1259               <packing>
1260                 <property name="position">1</property>
1261               </packing>
1262             </child>
1263           </object>
1264           <packing>
1265             <property name="expand">False</property>
1266             <property name="fill">False</property>
1267             <property name="pack_type">GTK_PACK_END</property>
1268             <property name="position">1</property>
1269           </packing>
1270         </child>
1271       </object>
1272     </child>
1273   </object>
1274   <object class="GtkWindow" id="rule-properties-window">
1275     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1276     <property name="border_width">12</property>
1277     <property name="title" translatable="yes" comments="Translators: Caption of a window. 'Rule' here means a horizontal line in an HTML text.">Rule Properties</property>
1278     <property name="resizable">False</property>
1279     <property name="modal">True</property>
1280     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1281     <property name="destroy_with_parent">True</property>
1282     <signal handler="gtkhtml_editor_rule_properties_show_window_cb" name="show"/>
1283     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
1284     <child>
1285       <object class="GtkVBox" id="rule-properties-vbox">
1286         <property name="visible">True</property>
1287         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1288         <property name="spacing">12</property>
1289         <child>
1290           <object class="GtkVBox" id="rule-properties-size-vbox">
1291             <property name="visible">True</property>
1292             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1293             <property name="spacing">6</property>
1294             <child>
1295               <object class="GtkLabel" id="rule-properties-size-header">
1296                 <property name="visible">True</property>
1297                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1298                 <property name="xalign">0</property>
1299                 <property name="label" translatable="yes">Size</property>
1300                 <attributes>
1301                   <attribute name="weight" value="bold"/>
1302                 </attributes>
1303               </object>
1304             </child>
1305             <child>
1306               <object class="GtkAlignment" id="rule-properties-size-alignment">
1307                 <property name="visible">True</property>
1308                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1309                 <property name="left_padding">12</property>
1310                 <child>
1311                   <object class="GtkTable" id="rule-properties-size-table">
1312                     <property name="visible">True</property>
1313                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1314                     <property name="n_rows">2</property>
1315                     <property name="n_columns">3</property>
1316                     <property name="column_spacing">6</property>
1317                     <property name="row_spacing">6</property>
1318                     <child>
1319                       <placeholder/>
1320                     </child>
1321                     <child>
1322                       <object class="GtkLabel" id="rule-properties-width-label">
1323                         <property name="visible">True</property>
1324                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1325                         <property name="xalign">1</property>
1326                         <property name="label" translatable="yes">_Width:</property>
1327                         <property name="use_underline">True</property>
1328                       </object>
1329                       <packing>
1330                         <property name="x_options"/>
1331                         <property name="y_options"/>
1332                       </packing>
1333                     </child>
1334                     <child>
1335                       <object class="GtkSpinButton" id="rule-properties-width-spin-button">
1336                         <property name="width_request">100</property>
1337                         <property name="visible">True</property>
1338                         <property name="can_focus">True</property>
1339                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1340                         <property name="adjustment">adjustment1</property>
1341                         <signal handler="gtkhtml_editor_rule_properties_width_changed_cb" name="value_changed" object="rule-properties-window"/>
1342                       </object>
1343                       <packing>
1344                         <property name="left_attach">1</property>
1345                         <property name="right_attach">2</property>
1346                         <property name="y_options"/>
1347                       </packing>
1348                     </child>
1349                     <child>
1350                       <object class="GtkLabel" id="rule-properties-size-label">
1351                         <property name="visible">True</property>
1352                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1353                         <property name="xalign">1</property>
1354                         <property name="label" translatable="yes">_Size:</property>
1355                         <property name="use_underline">True</property>
1356                       </object>
1357                       <packing>
1358                         <property name="top_attach">1</property>
1359                         <property name="bottom_attach">2</property>
1360                         <property name="x_options"/>
1361                         <property name="y_options"/>
1362                       </packing>
1363                     </child>
1364                     <child>
1365                       <object class="GtkSpinButton" id="rule-properties-size-spin-button">
1366                         <property name="visible">True</property>
1367                         <property name="can_focus">True</property>
1368                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1369                         <property name="adjustment">adjustment2</property>
1370                         <signal handler="gtkhtml_editor_rule_properties_size_changed_cb" name="value_changed" object="rule-properties-window"/>
1371                       </object>
1372                       <packing>
1373                         <property name="left_attach">1</property>
1374                         <property name="right_attach">2</property>
1375                         <property name="top_attach">1</property>
1376                         <property name="bottom_attach">2</property>
1377                         <property name="y_options"/>
1378                       </packing>
1379                     </child>
1380                     <child>
1381                       <object class="GtkComboBox" id="rule-properties-width-combo-box">
1382                         <property name="visible">True</property>
1383                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1384                         <signal handler="gtkhtml_editor_rule_properties_width_changed_cb" name="changed" object="rule-properties-window"/>
1385                         <property name="model">model1</property>
1386                         <child>
1387                           <object class="GtkCellRendererText" id="renderer1"/>
1388                           <attributes>
1389                             <attribute name="text">0</attribute>
1390                           </attributes>
1391                         </child>
1392                       </object>
1393                       <packing>
1394                         <property name="left_attach">2</property>
1395                         <property name="right_attach">3</property>
1396                         <property name="x_options"/>
1397                         <property name="y_options"/>
1398                       </packing>
1399                     </child>
1400                   </object>
1401                 </child>
1402               </object>
1403               <packing>
1404                 <property name="position">1</property>
1405               </packing>
1406             </child>
1407           </object>
1408           <packing>
1409             <property name="expand">False</property>
1410             <property name="fill">False</property>
1411           </packing>
1412         </child>
1413         <child>
1414           <object class="GtkVBox" id="rule-properties-style-vbox">
1415             <property name="visible">True</property>
1416             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1417             <property name="spacing">6</property>
1418             <child>
1419               <object class="GtkLabel" id="rule-properties-style-header">
1420                 <property name="visible">True</property>
1421                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1422                 <property name="xalign">0</property>
1423                 <property name="label" translatable="yes">Style</property>
1424                 <attributes>
1425                   <attribute name="weight" value="bold"/>
1426                 </attributes>
1427               </object>
1428             </child>
1429             <child>
1430               <object class="GtkAlignment" id="rule-properties-style-alignment">
1431                 <property name="visible">True</property>
1432                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1433                 <property name="left_padding">12</property>
1434                 <child>
1435                   <object class="GtkTable" id="rule-properties-style-table">
1436                     <property name="visible">True</property>
1437                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1438                     <property name="n_rows">2</property>
1439                     <property name="n_columns">2</property>
1440                     <property name="column_spacing">6</property>
1441                     <property name="row_spacing">6</property>
1442                     <child>
1443                       <object class="GtkLabel" id="rule-properties-alignment-label">
1444                         <property name="visible">True</property>
1445                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1446                         <property name="xalign">1</property>
1447                         <property name="label" translatable="yes">_Alignment:</property>
1448                         <property name="use_underline">True</property>
1449                       </object>
1450                       <packing>
1451                         <property name="x_options"/>
1452                         <property name="y_options"/>
1453                       </packing>
1454                     </child>
1455                     <child>
1456                       <object class="GtkComboBox" id="rule-properties-alignment-combo-box">
1457                         <property name="visible">True</property>
1458                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1459                         <signal handler="gtkhtml_editor_rule_properties_alignment_changed_cb" name="changed" object="rule-properties-window"/>
1460                         <property name="model">model2</property>
1461                         <child>
1462                           <object class="GtkCellRendererText" id="renderer2"/>
1463                           <attributes>
1464                             <attribute name="text">0</attribute>
1465                           </attributes>
1466                         </child>
1467                       </object>
1468                       <packing>
1469                         <property name="left_attach">1</property>
1470                         <property name="right_attach">2</property>
1471                         <property name="y_options"/>
1472                       </packing>
1473                     </child>
1474                     <child>
1475                       <object class="GtkCheckButton" id="rule-properties-shaded-check-button">
1476                         <property name="visible">True</property>
1477                         <property name="can_focus">True</property>
1478                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1479                         <property name="label" translatable="yes">S_haded</property>
1480                         <property name="use_underline">True</property>
1481                         <property name="draw_indicator">True</property>
1482                         <signal handler="gtkhtml_editor_rule_properties_shaded_toggled_cb" name="toggled" object="rule-properties-window"/>
1483                       </object>
1484                       <packing>
1485                         <property name="right_attach">2</property>
1486                         <property name="top_attach">1</property>
1487                         <property name="bottom_attach">2</property>
1488                         <property name="y_options"/>
1489                       </packing>
1490                     </child>
1491                   </object>
1492                 </child>
1493               </object>
1494               <packing>
1495                 <property name="position">1</property>
1496               </packing>
1497             </child>
1498           </object>
1499           <packing>
1500             <property name="expand">False</property>
1501             <property name="fill">False</property>
1502             <property name="position">1</property>
1503           </packing>
1504         </child>
1505         <child>
1506           <object class="GtkHButtonBox" id="rule-properties-button-box">
1507             <property name="visible">True</property>
1508             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1509             <property name="spacing">12</property>
1510             <property name="layout_style">GTK_BUTTONBOX_END</property>
1511             <child>
1512               <object class="GtkButton" id="rule-properties-close-button">
1513                 <property name="visible">True</property>
1514                 <property name="can_focus">True</property>
1515                 <property name="receives_default">True</property>
1516                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1517                 <property name="label">gtk-close</property>
1518                 <property name="use_stock">True</property>
1519                 <signal handler="gtk_widget_hide" name="clicked" object="rule-properties-window"/>
1520               </object>
1521               <packing>
1522                 <property name="position">1</property>
1523               </packing>
1524             </child>
1525           </object>
1526           <packing>
1527             <property name="expand">False</property>
1528             <property name="fill">False</property>
1529             <property name="pack_type">GTK_PACK_END</property>
1530             <property name="position">2</property>
1531           </packing>
1532         </child>
1533       </object>
1534     </child>
1535   </object>
1536   <object class="GtkWindow" id="table-properties-window">
1537     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1538     <property name="border_width">12</property>
1539     <property name="title" translatable="yes">Table Properties</property>
1540     <property name="resizable">False</property>
1541     <property name="modal">True</property>
1542     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1543     <property name="destroy_with_parent">True</property>
1544     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
1545     <signal handler="gtkhtml_editor_table_properties_show_window_cb" name="show"/>
1546     <child>
1547       <object class="GtkVBox" id="table-properties-vbox">
1548         <property name="visible">True</property>
1549         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1550         <property name="spacing">12</property>
1551         <child>
1552           <object class="GtkVBox" id="table-properties-general-vbox">
1553             <property name="visible">True</property>
1554             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1555             <property name="spacing">6</property>
1556             <child>
1557               <object class="GtkLabel" id="table-properties-general-header">
1558                 <property name="visible">True</property>
1559                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1560                 <property name="xalign">0</property>
1561                 <property name="label" translatable="yes">General</property>
1562                 <attributes>
1563                   <attribute name="weight" value="bold"/>
1564                 </attributes>
1565               </object>
1566             </child>
1567             <child>
1568               <object class="GtkAlignment" id="table-properties-general-alignment">
1569                 <property name="visible">True</property>
1570                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1571                 <property name="left_padding">12</property>
1572                 <child>
1573                   <object class="GtkHBox" id="table-properties-general-hbox">
1574                     <property name="visible">True</property>
1575                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1576                     <property name="spacing">12</property>
1577                     <child>
1578                       <object class="GtkHBox" id="table-properties-rows-hbox">
1579                         <property name="visible">True</property>
1580                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1581                         <property name="spacing">6</property>
1582                         <child>
1583                           <object class="GtkImage" id="table-properties-rows-image">
1584                             <property name="visible">True</property>
1585                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1586                             <property name="icon_name">stock_select-row</property>
1587                           </object>
1588                           <packing>
1589                             <property name="expand">False</property>
1590                             <property name="fill">False</property>
1591                           </packing>
1592                         </child>
1593                         <child>
1594                           <object class="GtkLabel" id="table-properties-rows-label">
1595                             <property name="visible">True</property>
1596                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1597                             <property name="label" translatable="yes">_Rows:</property>
1598                             <property name="use_underline">True</property>
1599                             <property name="mnemonic_widget">table-properties-rows-spin-button</property>
1600                           </object>
1601                           <packing>
1602                             <property name="expand">False</property>
1603                             <property name="fill">False</property>
1604                             <property name="position">1</property>
1605                           </packing>
1606                         </child>
1607                         <child>
1608                           <object class="GtkSpinButton" id="table-properties-rows-spin-button">
1609                             <property name="visible">True</property>
1610                             <property name="can_focus">True</property>
1611                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1612                             <property name="adjustment">adjustment3</property>
1613                             <signal handler="gtkhtml_editor_table_properties_rows_changed_cb" name="value_changed" object="table-properties-window"/>
1614                           </object>
1615                           <packing>
1616                             <property name="position">2</property>
1617                           </packing>
1618                         </child>
1619                       </object>
1620                     </child>
1621                     <child>
1622                       <object class="GtkHBox" id="table-properties-cols-hbox">
1623                         <property name="visible">True</property>
1624                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1625                         <property name="spacing">6</property>
1626                         <child>
1627                           <object class="GtkImage" id="table-properties-cols-image">
1628                             <property name="visible">True</property>
1629                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1630                             <property name="icon_name">stock_select-column</property>
1631                           </object>
1632                           <packing>
1633                             <property name="expand">False</property>
1634                             <property name="fill">False</property>
1635                           </packing>
1636                         </child>
1637                         <child>
1638                           <object class="GtkLabel" id="table-properties-cols-label">
1639                             <property name="visible">True</property>
1640                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1641                             <property name="label" translatable="yes">C_olumns:</property>
1642                             <property name="use_underline">True</property>
1643                             <property name="mnemonic_widget">table-properties-cols-spin-button</property>
1644                           </object>
1645                           <packing>
1646                             <property name="expand">False</property>
1647                             <property name="fill">False</property>
1648                             <property name="position">1</property>
1649                           </packing>
1650                         </child>
1651                         <child>
1652                           <object class="GtkSpinButton" id="table-properties-cols-spin-button">
1653                             <property name="visible">True</property>
1654                             <property name="can_focus">True</property>
1655                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1656                             <property name="adjustment">adjustment4</property>
1657                             <signal handler="gtkhtml_editor_table_properties_cols_changed_cb" name="value_changed" object="table-properties-window"/>
1658                           </object>
1659                           <packing>
1660                             <property name="position">2</property>
1661                           </packing>
1662                         </child>
1663                       </object>
1664                       <packing>
1665                         <property name="position">1</property>
1666                       </packing>
1667                     </child>
1668                   </object>
1669                 </child>
1670               </object>
1671               <packing>
1672                 <property name="position">1</property>
1673               </packing>
1674             </child>
1675           </object>
1676           <packing>
1677             <property name="expand">False</property>
1678             <property name="fill">False</property>
1679           </packing>
1680         </child>
1681         <child>
1682           <object class="GtkVBox" id="table-properties-layout-vbox">
1683             <property name="visible">True</property>
1684             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1685             <property name="spacing">6</property>
1686             <child>
1687               <object class="GtkLabel" id="table-properties-layout-header">
1688                 <property name="visible">True</property>
1689                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1690                 <property name="xalign">0</property>
1691                 <property name="label" translatable="yes">Layout</property>
1692                 <attributes>
1693                   <attribute name="weight" value="bold"/>
1694                 </attributes>
1695               </object>
1696             </child>
1697             <child>
1698               <object class="GtkAlignment" id="table-properties-layout-alignment">
1699                 <property name="visible">True</property>
1700                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1701                 <property name="left_padding">12</property>
1702                 <child>
1703                   <object class="GtkTable" id="table-properties-layout-left-table">
1704                     <property name="visible">True</property>
1705                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1706                     <property name="n_rows">3</property>
1707                     <property name="n_columns">7</property>
1708                     <property name="column_spacing">6</property>
1709                     <property name="row_spacing">6</property>
1710                     <child>
1711                       <placeholder/>
1712                     </child>
1713                     <child>
1714                       <placeholder/>
1715                     </child>
1716                     <child>
1717                       <placeholder/>
1718                     </child>
1719                     <child>
1720                       <placeholder/>
1721                     </child>
1722                     <child>
1723                       <placeholder/>
1724                     </child>
1725                     <child>
1726                       <placeholder/>
1727                     </child>
1728                     <child>
1729                       <object class="GtkLabel" id="table-properties-border-units-label">
1730                         <property name="visible">True</property>
1731                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1732                         <property name="xalign">0</property>
1733                         <property name="label" translatable="yes">px</property>
1734                       </object>
1735                       <packing>
1736                         <property name="left_attach">6</property>
1737                         <property name="right_attach">7</property>
1738                         <property name="top_attach">2</property>
1739                         <property name="bottom_attach">3</property>
1740                         <property name="x_options"/>
1741                         <property name="y_options"/>
1742                       </packing>
1743                     </child>
1744                     <child>
1745                       <object class="GtkLabel" id="table-properties-padding-units-label">
1746                         <property name="visible">True</property>
1747                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1748                         <property name="xalign">0</property>
1749                         <property name="label" translatable="yes">px</property>
1750                       </object>
1751                       <packing>
1752                         <property name="left_attach">6</property>
1753                         <property name="right_attach">7</property>
1754                         <property name="top_attach">1</property>
1755                         <property name="bottom_attach">2</property>
1756                         <property name="x_options"/>
1757                         <property name="y_options"/>
1758                       </packing>
1759                     </child>
1760                     <child>
1761                       <object class="GtkLabel" id="table-properties-spacing-units-label">
1762                         <property name="visible">True</property>
1763                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1764                         <property name="xalign">0</property>
1765                         <property name="label" translatable="yes">px</property>
1766                       </object>
1767                       <packing>
1768                         <property name="left_attach">6</property>
1769                         <property name="right_attach">7</property>
1770                         <property name="x_options"/>
1771                         <property name="y_options"/>
1772                       </packing>
1773                     </child>
1774                     <child>
1775                       <object class="GtkComboBox" id="table-properties-width-combo-box">
1776                         <property name="visible">True</property>
1777                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1778                         <signal handler="gtkhtml_editor_table_properties_width_changed_cb" name="changed" object="table-properties-window"/>
1779                         <property name="model">model3</property>
1780                         <child>
1781                           <object class="GtkCellRendererText" id="renderer3"/>
1782                           <attributes>
1783                             <attribute name="text">0</attribute>
1784                           </attributes>
1785                         </child>
1786                       </object>
1787                       <packing>
1788                         <property name="left_attach">2</property>
1789                         <property name="right_attach">3</property>
1790                         <property name="x_options"/>
1791                         <property name="y_options"/>
1792                       </packing>
1793                     </child>
1794                     <child>
1795                       <object class="GtkSpinButton" id="table-properties-width-spin-button">
1796                         <property name="width_request">100</property>
1797                         <property name="visible">True</property>
1798                         <property name="can_focus">True</property>
1799                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1800                         <property name="adjustment">adjustment5</property>
1801                         <signal handler="gtkhtml_editor_table_properties_width_changed_cb" name="value_changed" object="table-properties-window"/>
1802                       </object>
1803                       <packing>
1804                         <property name="left_attach">1</property>
1805                         <property name="right_attach">2</property>
1806                         <property name="y_options"/>
1807                       </packing>
1808                     </child>
1809                     <child>
1810                       <object class="GtkCheckButton" id="table-properties-width-check-button">
1811                         <property name="visible">True</property>
1812                         <property name="can_focus">True</property>
1813                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1814                         <property name="label" translatable="yes">_Width:</property>
1815                         <property name="use_underline">True</property>
1816                         <property name="xalign">1</property>
1817                         <property name="draw_indicator">True</property>
1818                         <signal handler="gtkhtml_editor_table_properties_width_changed_cb" name="toggled" object="table-properties-window"/>
1819                       </object>
1820                       <packing>
1821                         <property name="x_options">GTK_FILL</property>
1822                         <property name="y_options"/>
1823                       </packing>
1824                     </child>
1825                     <child>
1826                       <object class="GtkComboBox" id="table-properties-alignment-combo-box">
1827                         <property name="visible">True</property>
1828                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1829                         <signal handler="gtkhtml_editor_table_properties_alignment_changed_cb" name="changed" object="table-properties-window"/>
1830                         <property name="model">model4</property>
1831                         <child>
1832                           <object class="GtkCellRendererText" id="renderer4"/>
1833                           <attributes>
1834                             <attribute name="text">0</attribute>
1835                           </attributes>
1836                         </child>
1837                       </object>
1838                       <packing>
1839                         <property name="left_attach">1</property>
1840                         <property name="right_attach">3</property>
1841                         <property name="top_attach">1</property>
1842                         <property name="bottom_attach">2</property>
1843                         <property name="x_options">GTK_FILL</property>
1844                         <property name="y_options"/>
1845                       </packing>
1846                     </child>
1847                     <child>
1848                       <object class="GtkLabel" id="table-properties-alignment-label">
1849                         <property name="visible">True</property>
1850                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1851                         <property name="xalign">1</property>
1852                         <property name="label" translatable="yes">_Alignment:</property>
1853                         <property name="use_underline">True</property>
1854                         <property name="mnemonic_widget">table-properties-alignment-combo-box</property>
1855                       </object>
1856                       <packing>
1857                         <property name="top_attach">1</property>
1858                         <property name="bottom_attach">2</property>
1859                         <property name="x_options">GTK_FILL</property>
1860                         <property name="y_options"/>
1861                       </packing>
1862                     </child>
1863                     <child>
1864                       <object class="GtkLabel" id="table-properties-spacing-label">
1865                         <property name="visible">True</property>
1866                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1867                         <property name="xalign">1</property>
1868                         <property name="label" translatable="yes">_Spacing:</property>
1869                         <property name="use_underline">True</property>
1870                         <property name="mnemonic_widget">table-properties-spacing-spin-button</property>
1871                       </object>
1872                       <packing>
1873                         <property name="left_attach">4</property>
1874                         <property name="right_attach">5</property>
1875                         <property name="x_options">GTK_FILL</property>
1876                         <property name="y_options"/>
1877                       </packing>
1878                     </child>
1879                     <child>
1880                       <object class="GtkLabel" id="table-properties-padding-label">
1881                         <property name="visible">True</property>
1882                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1883                         <property name="xalign">1</property>
1884                         <property name="label" translatable="yes">_Padding:</property>
1885                         <property name="use_underline">True</property>
1886                         <property name="mnemonic_widget">table-properties-padding-spin-button</property>
1887                       </object>
1888                       <packing>
1889                         <property name="left_attach">4</property>
1890                         <property name="right_attach">5</property>
1891                         <property name="top_attach">1</property>
1892                         <property name="bottom_attach">2</property>
1893                         <property name="x_options">GTK_FILL</property>
1894                         <property name="y_options"/>
1895                       </packing>
1896                     </child>
1897                     <child>
1898                       <object class="GtkLabel" id="table-properties-border-label">
1899                         <property name="visible">True</property>
1900                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1901                         <property name="xalign">1</property>
1902                         <property name="label" translatable="yes">_Border:</property>
1903                         <property name="use_underline">True</property>
1904                         <property name="mnemonic_widget">table-properties-border-spin-button</property>
1905                       </object>
1906                       <packing>
1907                         <property name="left_attach">4</property>
1908                         <property name="right_attach">5</property>
1909                         <property name="top_attach">2</property>
1910                         <property name="bottom_attach">3</property>
1911                         <property name="x_options">GTK_FILL</property>
1912                         <property name="y_options"/>
1913                       </packing>
1914                     </child>
1915                     <child>
1916                       <object class="GtkSpinButton" id="table-properties-spacing-spin-button">
1917                         <property name="visible">True</property>
1918                         <property name="can_focus">True</property>
1919                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1920                         <property name="adjustment">adjustment6</property>
1921                         <signal handler="gtkhtml_editor_table_properties_spacing_changed_cb" name="value_changed" object="table-properties-window"/>
1922                       </object>
1923                       <packing>
1924                         <property name="left_attach">5</property>
1925                         <property name="right_attach">6</property>
1926                         <property name="y_options"/>
1927                       </packing>
1928                     </child>
1929                     <child>
1930                       <object class="GtkSpinButton" id="table-properties-padding-spin-button">
1931                         <property name="visible">True</property>
1932                         <property name="can_focus">True</property>
1933                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1934                         <property name="adjustment">adjustment7</property>
1935                         <signal handler="gtkhtml_editor_table_properties_padding_changed_cb" name="value_changed" object="table-properties-window"/>
1936                       </object>
1937                       <packing>
1938                         <property name="left_attach">5</property>
1939                         <property name="right_attach">6</property>
1940                         <property name="top_attach">1</property>
1941                         <property name="bottom_attach">2</property>
1942                         <property name="y_options"/>
1943                       </packing>
1944                     </child>
1945                     <child>
1946                       <object class="GtkSpinButton" id="table-properties-border-spin-button">
1947                         <property name="visible">True</property>
1948                         <property name="can_focus">True</property>
1949                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1950                         <property name="adjustment">adjustment8</property>
1951                         <signal handler="gtkhtml_editor_table_properties_border_changed_cb" name="value_changed" object="table-properties-window"/>
1952                       </object>
1953                       <packing>
1954                         <property name="left_attach">5</property>
1955                         <property name="right_attach">6</property>
1956                         <property name="top_attach">2</property>
1957                         <property name="bottom_attach">3</property>
1958                         <property name="y_options"/>
1959                       </packing>
1960                     </child>
1961                   </object>
1962                 </child>
1963               </object>
1964               <packing>
1965                 <property name="position">1</property>
1966               </packing>
1967             </child>
1968           </object>
1969           <packing>
1970             <property name="expand">False</property>
1971             <property name="fill">False</property>
1972             <property name="position">1</property>
1973           </packing>
1974         </child>
1975         <child>
1976           <object class="GtkVBox" id="table-properties-background-vbox">
1977             <property name="visible">True</property>
1978             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1979             <property name="spacing">6</property>
1980             <child>
1981               <object class="GtkLabel" id="table-properties-background-header">
1982                 <property name="visible">True</property>
1983                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1984                 <property name="xalign">0</property>
1985                 <property name="label" translatable="yes">Background</property>
1986                 <attributes>
1987                   <attribute name="weight" value="bold"/>
1988                 </attributes>
1989               </object>
1990             </child>
1991             <child>
1992               <object class="GtkAlignment" id="table-properties-background-alignment">
1993                 <property name="visible">True</property>
1994                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1995                 <property name="left_padding">12</property>
1996                 <child>
1997                   <object class="GtkTable" id="table-properties-background-table">
1998                     <property name="visible">True</property>
1999                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2000                     <property name="n_rows">2</property>
2001                     <property name="n_columns">2</property>
2002                     <property name="column_spacing">6</property>
2003                     <property name="row_spacing">6</property>
2004                     <child>
2005                       <object class="GtkLabel" id="table-properties-color-label">
2006                         <property name="visible">True</property>
2007                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2008                         <property name="xalign">1</property>
2009                         <property name="label" translatable="yes">Co_lor:</property>
2010                         <property name="use_underline">True</property>
2011                       </object>
2012                       <packing>
2013                         <property name="x_options">GTK_FILL</property>
2014                         <property name="y_options"/>
2015                       </packing>
2016                     </child>
2017                     <child>
2018                       <object class="GtkLabel" id="table-properties-image-label">
2019                         <property name="visible">True</property>
2020                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2021                         <property name="xalign">1</property>
2022                         <property name="label" translatable="yes">_Image:</property>
2023                         <property name="use_underline">True</property>
2024                         <property name="mnemonic_widget">table-properties-image-button</property>
2025                       </object>
2026                       <packing>
2027                         <property name="top_attach">1</property>
2028                         <property name="bottom_attach">2</property>
2029                         <property name="x_options">GTK_FILL</property>
2030                         <property name="y_options"/>
2031                       </packing>
2032                     </child>
2033                     <child>
2034                       <object class="GtkFileChooserButton" id="table-properties-image-button">
2035                         <property name="visible">True</property>
2036                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2037                         <signal handler="gtkhtml_editor_table_properties_image_changed_cb" name="selection_changed" object="table-properties-window"/>
2038                       </object>
2039                       <packing>
2040                         <property name="left_attach">1</property>
2041                         <property name="right_attach">2</property>
2042                         <property name="top_attach">1</property>
2043                         <property name="bottom_attach">2</property>
2044                         <property name="y_options"/>
2045                       </packing>
2046                     </child>
2047                     <child>
2048                       <object class="GtkhtmlColorCombo" id="table-properties-color-combo">
2049                         <property name="visible">True</property>
2050                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2051                         <property name="default_color">#000000000000</property>
2052                         <property name="default_label">Transparent</property>
2053                         <property name="default_transparent">True</property>
2054                         <signal handler="gtkhtml_editor_table_properties_color_changed_cb" name="changed" object="table-properties-window"/>
2055                       </object>
2056                       <packing>
2057                         <property name="left_attach">1</property>
2058                         <property name="right_attach">2</property>
2059                       </packing>
2060                     </child>
2061                   </object>
2062                 </child>
2063               </object>
2064               <packing>
2065                 <property name="position">1</property>
2066               </packing>
2067             </child>
2068           </object>
2069           <packing>
2070             <property name="expand">False</property>
2071             <property name="fill">False</property>
2072             <property name="position">2</property>
2073           </packing>
2074         </child>
2075         <child>
2076           <object class="GtkHButtonBox" id="table-properties-button-box">
2077             <property name="visible">True</property>
2078             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2079             <property name="spacing">12</property>
2080             <property name="layout_style">GTK_BUTTONBOX_END</property>
2081             <child>
2082               <object class="GtkButton" id="table-properties-close-button">
2083                 <property name="visible">True</property>
2084                 <property name="can_focus">True</property>
2085                 <property name="receives_default">True</property>
2086                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2087                 <property name="label">gtk-close</property>
2088                 <property name="use_stock">True</property>
2089                 <signal handler="gtk_widget_hide" name="clicked" object="table-properties-window"/>
2090               </object>
2091               <packing>
2092                 <property name="position">1</property>
2093               </packing>
2094             </child>
2095           </object>
2096           <packing>
2097             <property name="expand">False</property>
2098             <property name="fill">False</property>
2099             <property name="pack_type">GTK_PACK_END</property>
2100             <property name="position">3</property>
2101           </packing>
2102         </child>
2103       </object>
2104     </child>
2105   </object>
2106   <object class="GtkWindow" id="page-properties-window">
2107     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2108     <property name="border_width">12</property>
2109     <property name="title" translatable="yes">Page Properties</property>
2110     <property name="resizable">False</property>
2111     <property name="modal">True</property>
2112     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2113     <property name="destroy_with_parent">True</property>
2114     <signal handler="gtkhtml_editor_page_properties_window_realized_cb" name="realize"/>
2115     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
2116     <child>
2117       <object class="GtkVBox" id="page-properties-vbox">
2118         <property name="visible">True</property>
2119         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2120         <property name="spacing">12</property>
2121         <child>
2122           <object class="GtkVBox" id="page-properties-colors-vbox">
2123             <property name="visible">True</property>
2124             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2125             <property name="spacing">6</property>
2126             <child>
2127               <object class="GtkLabel" id="page-properties-colors-header">
2128                 <property name="visible">True</property>
2129                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2130                 <property name="xalign">0</property>
2131                 <property name="label" translatable="yes">Colors</property>
2132                 <attributes>
2133                   <attribute name="weight" value="bold"/>
2134                 </attributes>
2135               </object>
2136               <packing>
2137                 <property name="expand">False</property>
2138                 <property name="fill">False</property>
2139               </packing>
2140             </child>
2141             <child>
2142               <object class="GtkAlignment" id="page-properties-colors-alignment">
2143                 <property name="visible">True</property>
2144                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2145                 <property name="left_padding">12</property>
2146                 <child>
2147                   <object class="GtkTable" id="page-properties-colors-table">
2148                     <property name="visible">True</property>
2149                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2150                     <property name="n_rows">3</property>
2151                     <property name="n_columns">2</property>
2152                     <property name="column_spacing">6</property>
2153                     <property name="row_spacing">6</property>
2154                     <child>
2155                       <object class="GtkLabel" id="page-properties-text-label">
2156                         <property name="visible">True</property>
2157                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2158                         <property name="xalign">1</property>
2159                         <property name="label" translatable="yes">_Text:</property>
2160                         <property name="use_underline">True</property>
2161                       </object>
2162                       <packing>
2163                         <property name="x_options">GTK_FILL</property>
2164                       </packing>
2165                     </child>
2166                     <child>
2167                       <object class="GtkLabel" id="page-properties-link-label">
2168                         <property name="visible">True</property>
2169                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2170                         <property name="xalign">1</property>
2171                         <property name="label" translatable="yes">_Link:</property>
2172                         <property name="use_underline">True</property>
2173                       </object>
2174                       <packing>
2175                         <property name="top_attach">1</property>
2176                         <property name="bottom_attach">2</property>
2177                         <property name="x_options">GTK_FILL</property>
2178                       </packing>
2179                     </child>
2180                     <child>
2181                       <object class="GtkLabel" id="page-properties-background-label">
2182                         <property name="visible">True</property>
2183                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2184                         <property name="xalign">1</property>
2185                         <property name="label" translatable="yes">_Background:</property>
2186                         <property name="use_underline">True</property>
2187                       </object>
2188                       <packing>
2189                         <property name="top_attach">2</property>
2190                         <property name="bottom_attach">3</property>
2191                         <property name="x_options">GTK_FILL</property>
2192                       </packing>
2193                     </child>
2194                     <child>
2195                       <object class="GtkhtmlColorCombo" id="page-properties-text-color-combo">
2196                         <property name="visible">True</property>
2197                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2198                         <property name="default_color">#000000000000</property>
2199                         <property name="default_label">Automatic</property>
2200                         <signal handler="gtkhtml_editor_page_properties_text_color_changed_cb" name="changed" object="page-properties-window"/>
2201                       </object>
2202                       <packing>
2203                         <property name="left_attach">1</property>
2204                         <property name="right_attach">2</property>
2205                       </packing>
2206                     </child>
2207                     <child>
2208                       <object class="GtkhtmlColorCombo" id="page-properties-link-color-combo">
2209                         <property name="visible">True</property>
2210                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2211                         <property name="default_color">#000000000000</property>
2212                         <property name="default_label">_Automatic</property>
2213                         <signal handler="gtkhtml_editor_page_properties_link_color_changed_cb" name="changed" object="page-properties-window"/>
2214                       </object>
2215                       <packing>
2216                         <property name="left_attach">1</property>
2217                         <property name="right_attach">2</property>
2218                         <property name="top_attach">1</property>
2219                         <property name="bottom_attach">2</property>
2220                       </packing>
2221                     </child>
2222                     <child>
2223                       <object class="GtkhtmlColorCombo" id="page-properties-background-color-combo">
2224                         <property name="visible">True</property>
2225                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2226                         <property name="default_color">#000000000000</property>
2227                         <property name="default_label">Automatic</property>
2228                         <signal handler="gtkhtml_editor_page_properties_background_color_changed_cb" name="changed" object="page-properties-window"/>
2229                       </object>
2230                       <packing>
2231                         <property name="left_attach">1</property>
2232                         <property name="right_attach">2</property>
2233                         <property name="top_attach">2</property>
2234                         <property name="bottom_attach">3</property>
2235                       </packing>
2236                     </child>
2237                   </object>
2238                 </child>
2239               </object>
2240               <packing>
2241                 <property name="position">1</property>
2242               </packing>
2243             </child>
2244           </object>
2245           <packing>
2246             <property name="expand">False</property>
2247             <property name="fill">False</property>
2248           </packing>
2249         </child>
2250         <child>
2251           <object class="GtkVBox" id="page-properties-background-vbox">
2252             <property name="visible">True</property>
2253             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2254             <property name="spacing">6</property>
2255             <child>
2256               <object class="GtkLabel" id="page-properties-background-header">
2257                 <property name="visible">True</property>
2258                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2259                 <property name="xalign">0</property>
2260                 <property name="label" translatable="yes">Background Image</property>
2261                 <attributes>
2262                   <attribute name="weight" value="bold"/>
2263                 </attributes>
2264               </object>
2265               <packing>
2266                 <property name="expand">False</property>
2267                 <property name="fill">False</property>
2268               </packing>
2269             </child>
2270             <child>
2271               <object class="GtkAlignment" id="page-properties-background-alignment">
2272                 <property name="visible">True</property>
2273                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2274                 <property name="left_padding">12</property>
2275                 <child>
2276                   <object class="GtkTable" id="page-properties-backgrond-table">
2277                     <property name="visible">True</property>
2278                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2279                     <property name="n_rows">2</property>
2280                     <property name="n_columns">2</property>
2281                     <property name="column_spacing">6</property>
2282                     <property name="row_spacing">6</property>
2283                     <child>
2284                       <object class="GtkLabel" id="page-properties-template-label">
2285                         <property name="visible">True</property>
2286                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2287                         <property name="xalign">1</property>
2288                         <property name="label" translatable="yes">T_emplate:</property>
2289                         <property name="use_underline">True</property>
2290                       </object>
2291                       <packing>
2292                         <property name="x_options">GTK_FILL</property>
2293                       </packing>
2294                     </child>
2295                     <child>
2296                       <object class="GtkLabel" id="page-properties-custom-label">
2297                         <property name="visible">True</property>
2298                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2299                         <property name="xalign">1</property>
2300                         <property name="label" translatable="yes">C_ustom:</property>
2301                         <property name="use_underline">True</property>
2302                       </object>
2303                       <packing>
2304                         <property name="top_attach">1</property>
2305                         <property name="bottom_attach">2</property>
2306                         <property name="x_options">GTK_FILL</property>
2307                       </packing>
2308                     </child>
2309                     <child>
2310                       <object class="GtkFileChooserButton" id="page-properties-custom-file-chooser">
2311                         <property name="width_request">200</property>
2312                         <property name="visible">True</property>
2313                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2314                         <signal handler="gtkhtml_editor_page_properties_custom_file_changed_cb" name="selection_changed" object="page-properties-window"/>
2315                       </object>
2316                       <packing>
2317                         <property name="left_attach">1</property>
2318                         <property name="right_attach">2</property>
2319                         <property name="top_attach">1</property>
2320                         <property name="bottom_attach">2</property>
2321                       </packing>
2322                     </child>
2323                     <child>
2324                       <object class="GtkComboBox" id="page-properties-template-combo-box">
2325                         <property name="visible">True</property>
2326                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2327                         <signal handler="gtkhtml_editor_page_properties_template_changed_cb" name="changed" object="page-properties-window"/>
2328                         <property name="model">model5</property>
2329                         <child>
2330                           <object class="GtkCellRendererText" id="renderer5"/>
2331                           <attributes>
2332                             <attribute name="text">0</attribute>
2333                           </attributes>
2334                         </child>
2335                       </object>
2336                       <packing>
2337                         <property name="left_attach">1</property>
2338                         <property name="right_attach">2</property>
2339                       </packing>
2340                     </child>
2341                   </object>
2342                 </child>
2343               </object>
2344               <packing>
2345                 <property name="position">1</property>
2346               </packing>
2347             </child>
2348           </object>
2349           <packing>
2350             <property name="expand">False</property>
2351             <property name="fill">False</property>
2352             <property name="position">1</property>
2353           </packing>
2354         </child>
2355         <child>
2356           <object class="GtkHButtonBox" id="page-properties-button-box">
2357             <property name="visible">True</property>
2358             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2359             <property name="spacing">12</property>
2360             <property name="layout_style">GTK_BUTTONBOX_END</property>
2361             <child>
2362               <object class="GtkButton" id="page-properties-close-button">
2363                 <property name="visible">True</property>
2364                 <property name="can_focus">True</property>
2365                 <property name="receives_default">True</property>
2366                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2367                 <property name="label">gtk-close</property>
2368                 <property name="use_stock">True</property>
2369                 <signal handler="gtk_widget_hide" name="clicked" object="page-properties-window"/>
2370               </object>
2371               <packing>
2372                 <property name="position">1</property>
2373               </packing>
2374             </child>
2375           </object>
2376           <packing>
2377             <property name="expand">False</property>
2378             <property name="fill">False</property>
2379             <property name="pack_type">GTK_PACK_END</property>
2380             <property name="position">2</property>
2381           </packing>
2382         </child>
2383       </object>
2384     </child>
2385   </object>
2386   <object class="GtkWindow" id="cell-properties-window">
2387     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2388     <property name="border_width">1</property>
2389     <property name="title" translatable="yes">Cell Properties</property>
2390     <property name="resizable">False</property>
2391     <property name="modal">True</property>
2392     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2393     <property name="destroy_with_parent">True</property>
2394     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
2395     <signal handler="gtkhtml_editor_cell_properties_show_window_cb" name="show"/>
2396     <child>
2397       <object class="GtkVBox" id="cell-properties-vbox">
2398         <property name="visible">True</property>
2399         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2400         <property name="border_width">12</property>
2401         <property name="spacing">12</property>
2402         <child>
2403           <object class="GtkVBox" id="cell-properties-scope-vbox">
2404             <property name="visible">True</property>
2405             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2406             <property name="spacing">6</property>
2407             <child>
2408               <object class="GtkLabel" id="cell-properties-scope-header">
2409                 <property name="visible">True</property>
2410                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2411                 <property name="xalign">0</property>
2412                 <property name="label" translatable="yes">Scope</property>
2413                 <attributes>
2414                   <attribute name="weight" value="bold"/>
2415                 </attributes>
2416               </object>
2417             </child>
2418             <child>
2419               <object class="GtkAlignment" id="cell-properties-scope-alignment">
2420                 <property name="visible">True</property>
2421                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2422                 <property name="left_padding">12</property>
2423                 <child>
2424                   <object class="GtkTable" id="cell-properties-scope-table">
2425                     <property name="visible">True</property>
2426                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2427                     <property name="n_rows">2</property>
2428                     <property name="n_columns">5</property>
2429                     <property name="column_spacing">6</property>
2430                     <property name="row_spacing">6</property>
2431                     <child>
2432                       <placeholder/>
2433                     </child>
2434                     <child>
2435                       <placeholder/>
2436                     </child>
2437                     <child>
2438                       <object class="GtkRadioButton" id="cell-properties-column-radio-button">
2439                         <property name="visible">True</property>
2440                         <property name="can_focus">True</property>
2441                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2442                         <property name="label" translatable="yes">Col_umn</property>
2443                         <property name="use_underline">True</property>
2444                         <property name="active">True</property>
2445                         <property name="draw_indicator">True</property>
2446                         <property name="group">cell-properties-cell-radio-button</property>
2447                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
2448                       </object>
2449                       <packing>
2450                         <property name="left_attach">4</property>
2451                         <property name="right_attach">5</property>
2452                         <property name="top_attach">1</property>
2453                         <property name="bottom_attach">2</property>
2454                         <property name="x_options">GTK_FILL</property>
2455                         <property name="y_options"/>
2456                       </packing>
2457                     </child>
2458                     <child>
2459                       <object class="GtkRadioButton" id="cell-properties-row-radio-button">
2460                         <property name="visible">True</property>
2461                         <property name="can_focus">True</property>
2462                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2463                         <property name="label" translatable="yes">_Row</property>
2464                         <property name="use_underline">True</property>
2465                         <property name="active">True</property>
2466                         <property name="draw_indicator">True</property>
2467                         <property name="group">cell-properties-cell-radio-button</property>
2468                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
2469                       </object>
2470                       <packing>
2471                         <property name="left_attach">4</property>
2472                         <property name="right_attach">5</property>
2473                         <property name="x_options">GTK_FILL</property>
2474                         <property name="y_options"/>
2475                       </packing>
2476                     </child>
2477                     <child>
2478                       <object class="GtkRadioButton" id="cell-properties-table-radio-button">
2479                         <property name="visible">True</property>
2480                         <property name="can_focus">True</property>
2481                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2482                         <property name="label" translatable="yes">_Table</property>
2483                         <property name="use_underline">True</property>
2484                         <property name="active">True</property>
2485                         <property name="draw_indicator">True</property>
2486                         <property name="group">cell-properties-cell-radio-button</property>
2487                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
2488                       </object>
2489                       <packing>
2490                         <property name="left_attach">1</property>
2491                         <property name="right_attach">2</property>
2492                         <property name="top_attach">1</property>
2493                         <property name="bottom_attach">2</property>
2494                         <property name="x_options">GTK_FILL</property>
2495                         <property name="y_options"/>
2496                       </packing>
2497                     </child>
2498                     <child>
2499                       <object class="GtkRadioButton" id="cell-properties-cell-radio-button">
2500                         <property name="visible">True</property>
2501                         <property name="can_focus">True</property>
2502                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2503                         <property name="label" translatable="yes">C_ell</property>
2504                         <property name="use_underline">True</property>
2505                         <property name="active">True</property>
2506                         <property name="draw_indicator">True</property>
2507                         <signal handler="gtkhtml_editor_cell_properties_scope_toggled_cb" name="toggled" object="cell-properties-window"/>
2508                       </object>
2509                       <packing>
2510                         <property name="left_attach">1</property>
2511                         <property name="right_attach">2</property>
2512                         <property name="x_options">GTK_FILL</property>
2513                         <property name="y_options"/>
2514                       </packing>
2515                     </child>
2516                     <child>
2517                       <object class="GtkImage" id="cell-properties-column-image">
2518                         <property name="visible">True</property>
2519                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2520                         <property name="icon_name">stock_select-column</property>
2521                       </object>
2522                       <packing>
2523                         <property name="left_attach">3</property>
2524                         <property name="right_attach">4</property>
2525                         <property name="top_attach">1</property>
2526                         <property name="bottom_attach">2</property>
2527                         <property name="x_options"/>
2528                         <property name="y_options"/>
2529                       </packing>
2530                     </child>
2531                     <child>
2532                       <object class="GtkImage" id="cell-properties-row-image">
2533                         <property name="visible">True</property>
2534                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2535                         <property name="icon_name">stock_select-row</property>
2536                       </object>
2537                       <packing>
2538                         <property name="left_attach">3</property>
2539                         <property name="right_attach">4</property>
2540                         <property name="x_options"/>
2541                         <property name="y_options"/>
2542                       </packing>
2543                     </child>
2544                     <child>
2545                       <object class="GtkImage" id="cell-properties-table-image">
2546                         <property name="visible">True</property>
2547                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2548                         <property name="icon_name">stock_select-table</property>
2549                       </object>
2550                       <packing>
2551                         <property name="top_attach">1</property>
2552                         <property name="bottom_attach">2</property>
2553                         <property name="x_options"/>
2554                         <property name="y_options"/>
2555                       </packing>
2556                     </child>
2557                     <child>
2558                       <object class="GtkImage" id="cell-properties-cell-image">
2559                         <property name="visible">True</property>
2560                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2561                         <property name="icon_name">stock_select-cell</property>
2562                       </object>
2563                       <packing>
2564                         <property name="x_options"/>
2565                         <property name="y_options"/>
2566                       </packing>
2567                     </child>
2568                   </object>
2569                 </child>
2570               </object>
2571               <packing>
2572                 <property name="expand">False</property>
2573                 <property name="fill">False</property>
2574                 <property name="position">1</property>
2575               </packing>
2576             </child>
2577           </object>
2578           <packing>
2579             <property name="expand">False</property>
2580             <property name="fill">False</property>
2581           </packing>
2582         </child>
2583         <child>
2584           <object class="GtkVBox" id="cell-properties-alignment-vbox">
2585             <property name="visible">True</property>
2586             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2587             <property name="spacing">6</property>
2588             <child>
2589               <object class="GtkLabel" id="cell-properties-alignment-header">
2590                 <property name="visible">True</property>
2591                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2592                 <property name="xalign">0</property>
2593                 <property name="label" translatable="yes">Alignment &amp; Behavior</property>
2594                 <attributes>
2595                   <attribute name="weight" value="bold"/>
2596                 </attributes>
2597               </object>
2598             </child>
2599             <child>
2600               <object class="GtkAlignment" id="cell-properties-alignment-alignment">
2601                 <property name="visible">True</property>
2602                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2603                 <property name="left_padding">12</property>
2604                 <child>
2605                   <object class="GtkTable" id="cell-properties-alignment-table">
2606                     <property name="visible">True</property>
2607                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2608                     <property name="n_rows">2</property>
2609                     <property name="n_columns">5</property>
2610                     <property name="column_spacing">6</property>
2611                     <property name="row_spacing">6</property>
2612                     <child>
2613                       <placeholder/>
2614                     </child>
2615                     <child>
2616                       <object class="GtkHBox" id="cell-properties-alignment-hbox">
2617                         <property name="visible">True</property>
2618                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2619                         <property name="spacing">12</property>
2620                         <child>
2621                           <object class="GtkCheckButton" id="cell-properties-wrap-text-check-button">
2622                             <property name="visible">True</property>
2623                             <property name="can_focus">True</property>
2624                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2625                             <property name="label" translatable="yes">_Wrap Text</property>
2626                             <property name="use_underline">True</property>
2627                             <property name="draw_indicator">True</property>
2628                             <signal handler="gtkhtml_editor_cell_properties_wrap_text_toggled_cb" name="toggled" object="cell-properties-window"/>
2629                           </object>
2630                           <packing>
2631                             <property name="expand">False</property>
2632                             <property name="fill">False</property>
2633                           </packing>
2634                         </child>
2635                         <child>
2636                           <object class="GtkCheckButton" id="cell-properties-header-style-check-button">
2637                             <property name="visible">True</property>
2638                             <property name="can_focus">True</property>
2639                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2640                             <property name="label" translatable="yes">Hea_der Style</property>
2641                             <property name="use_underline">True</property>
2642                             <property name="draw_indicator">True</property>
2643                             <signal handler="gtkhtml_editor_cell_properties_header_style_toggled_cb" name="toggled" object="cell-properties-window"/>
2644                           </object>
2645                           <packing>
2646                             <property name="expand">False</property>
2647                             <property name="fill">False</property>
2648                             <property name="position">1</property>
2649                           </packing>
2650                         </child>
2651                       </object>
2652                       <packing>
2653                         <property name="right_attach">5</property>
2654                         <property name="top_attach">1</property>
2655                         <property name="bottom_attach">2</property>
2656                         <property name="x_options">GTK_FILL</property>
2657                         <property name="y_options"/>
2658                       </packing>
2659                     </child>
2660                     <child>
2661                       <object class="GtkComboBox" id="cell-properties-vertical-combo-box">
2662                         <property name="visible">True</property>
2663                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2664                         <signal handler="gtkhtml_editor_cell_properties_vertical_changed_cb" name="changed" object="cell-properties-window"/>
2665                         <property name="model">model6</property>
2666                         <child>
2667                           <object class="GtkCellRendererText" id="renderer6"/>
2668                           <attributes>
2669                             <attribute name="text">0</attribute>
2670                           </attributes>
2671                         </child>
2672                       </object>
2673                       <packing>
2674                         <property name="left_attach">4</property>
2675                         <property name="right_attach">5</property>
2676                         <property name="y_options"/>
2677                       </packing>
2678                     </child>
2679                     <child>
2680                       <object class="GtkComboBox" id="cell-properties-horizontal-combo-box">
2681                         <property name="visible">True</property>
2682                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2683                         <signal handler="gtkhtml_editor_cell_properties_horizontal_changed_cb" name="changed" object="cell-properties-window"/>
2684                         <property name="model">model7</property>
2685                         <child>
2686                           <object class="GtkCellRendererText" id="renderer7"/>
2687                           <attributes>
2688                             <attribute name="text">0</attribute>
2689                           </attributes>
2690                         </child>
2691                       </object>
2692                       <packing>
2693                         <property name="left_attach">1</property>
2694                         <property name="right_attach">2</property>
2695                         <property name="y_options"/>
2696                       </packing>
2697                     </child>
2698                     <child>
2699                       <object class="GtkLabel" id="cell-properties-vertical-label">
2700                         <property name="visible">True</property>
2701                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2702                         <property name="xalign">1</property>
2703                         <property name="label" translatable="yes">_Vertical:</property>
2704                         <property name="use_underline">True</property>
2705                         <property name="mnemonic_widget">cell-properties-vertical-combo-box</property>
2706                       </object>
2707                       <packing>
2708                         <property name="left_attach">3</property>
2709                         <property name="right_attach">4</property>
2710                         <property name="x_options">GTK_FILL</property>
2711                         <property name="y_options"/>
2712                       </packing>
2713                     </child>
2714                     <child>
2715                       <object class="GtkLabel" id="cell-properties-horizontal-label">
2716                         <property name="visible">True</property>
2717                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2718                         <property name="xalign">1</property>
2719                         <property name="label" translatable="yes">_Horizontal:</property>
2720                         <property name="use_underline">True</property>
2721                         <property name="mnemonic_widget">cell-properties-horizontal-combo-box</property>
2722                       </object>
2723                       <packing>
2724                         <property name="x_options">GTK_FILL</property>
2725                         <property name="y_options"/>
2726                       </packing>
2727                     </child>
2728                   </object>
2729                 </child>
2730               </object>
2731               <packing>
2732                 <property name="position">1</property>
2733               </packing>
2734             </child>
2735           </object>
2736           <packing>
2737             <property name="expand">False</property>
2738             <property name="fill">False</property>
2739             <property name="position">1</property>
2740           </packing>
2741         </child>
2742         <child>
2743           <object class="GtkVBox" id="cell-properties-layout-vbox">
2744             <property name="visible">True</property>
2745             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2746             <property name="spacing">6</property>
2747             <child>
2748               <object class="GtkLabel" id="cell-properties-layout-header">
2749                 <property name="visible">True</property>
2750                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2751                 <property name="xalign">0</property>
2752                 <property name="label" translatable="yes">Layout</property>
2753                 <attributes>
2754                   <attribute name="weight" value="bold"/>
2755                 </attributes>
2756               </object>
2757             </child>
2758             <child>
2759               <object class="GtkAlignment" id="cell-properties-layout-alignment">
2760                 <property name="visible">True</property>
2761                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2762                 <property name="left_padding">12</property>
2763                 <child>
2764                   <object class="GtkTable" id="cell-properties-layout-table">
2765                     <property name="visible">True</property>
2766                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2767                     <property name="n_rows">2</property>
2768                     <property name="n_columns">6</property>
2769                     <property name="column_spacing">6</property>
2770                     <property name="row_spacing">6</property>
2771                     <child>
2772                       <placeholder/>
2773                     </child>
2774                     <child>
2775                       <placeholder/>
2776                     </child>
2777                     <child>
2778                       <placeholder/>
2779                     </child>
2780                     <child>
2781                       <placeholder/>
2782                     </child>
2783                     <child>
2784                       <placeholder/>
2785                     </child>
2786                     <child>
2787                       <object class="GtkSpinButton" id="cell-properties-column-span-spin-button">
2788                         <property name="visible">True</property>
2789                         <property name="can_focus">True</property>
2790                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2791                         <property name="adjustment">adjustment9</property>
2792                         <signal handler="gtkhtml_editor_cell_properties_column_span_changed_cb" name="change_value" object="cell-properties-window"/>
2793                       </object>
2794                       <packing>
2795                         <property name="left_attach">5</property>
2796                         <property name="right_attach">6</property>
2797                         <property name="top_attach">1</property>
2798                         <property name="bottom_attach">2</property>
2799                         <property name="y_options"/>
2800                       </packing>
2801                     </child>
2802                     <child>
2803                       <object class="GtkSpinButton" id="cell-properties-row-span-spin-button">
2804                         <property name="visible">True</property>
2805                         <property name="can_focus">True</property>
2806                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2807                         <property name="adjustment">adjustment10</property>
2808                         <signal handler="gtkhtml_editor_cell_properties_row_span_changed_cb" name="change_value" object="cell-properties-window"/>
2809                       </object>
2810                       <packing>
2811                         <property name="left_attach">5</property>
2812                         <property name="right_attach">6</property>
2813                         <property name="y_options"/>
2814                       </packing>
2815                     </child>
2816                     <child>
2817                       <object class="GtkLabel" id="cell-properties-column-span-label">
2818                         <property name="visible">True</property>
2819                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2820                         <property name="xalign">1</property>
2821                         <property name="label" translatable="yes">Column Span:</property>
2822                         <property name="use_underline">True</property>
2823                         <property name="mnemonic_widget">cell-properties-column-span-spin-button</property>
2824                       </object>
2825                       <packing>
2826                         <property name="left_attach">4</property>
2827                         <property name="right_attach">5</property>
2828                         <property name="top_attach">1</property>
2829                         <property name="bottom_attach">2</property>
2830                         <property name="x_options">GTK_FILL</property>
2831                         <property name="y_options"/>
2832                       </packing>
2833                     </child>
2834                     <child>
2835                       <object class="GtkLabel" id="cell-properties-row-span-label">
2836                         <property name="visible">True</property>
2837                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2838                         <property name="xalign">1</property>
2839                         <property name="label" translatable="yes">Row Span:</property>
2840                         <property name="use_underline">True</property>
2841                         <property name="mnemonic_widget">cell-properties-row-span-spin-button</property>
2842                       </object>
2843                       <packing>
2844                         <property name="left_attach">4</property>
2845                         <property name="right_attach">5</property>
2846                         <property name="x_options">GTK_FILL</property>
2847                         <property name="y_options"/>
2848                       </packing>
2849                     </child>
2850                     <child>
2851                       <object class="GtkComboBox" id="cell-properties-width-combo-box">
2852                         <property name="visible">True</property>
2853                         <property name="sensitive">False</property>
2854                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2855                         <signal handler="gtkhtml_editor_cell_properties_width_changed_cb" name="changed" object="cell-properties-window"/>
2856                         <property name="model">model8</property>
2857                         <child>
2858                           <object class="GtkCellRendererText" id="renderer8"/>
2859                           <attributes>
2860                             <attribute name="text">0</attribute>
2861                           </attributes>
2862                         </child>
2863                       </object>
2864                       <packing>
2865                         <property name="left_attach">2</property>
2866                         <property name="right_attach">3</property>
2867                         <property name="x_options">GTK_FILL</property>
2868                         <property name="y_options"/>
2869                       </packing>
2870                     </child>
2871                     <child>
2872                       <object class="GtkSpinButton" id="cell-properties-width-spin-button">
2873                         <property name="width_request">100</property>
2874                         <property name="visible">True</property>
2875                         <property name="sensitive">False</property>
2876                         <property name="can_focus">True</property>
2877                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2878                         <property name="adjustment">adjustment11</property>
2879                         <signal handler="gtkhtml_editor_cell_properties_width_changed_cb" name="value_changed" object="cell-properties-window"/>
2880                       </object>
2881                       <packing>
2882                         <property name="left_attach">1</property>
2883                         <property name="right_attach">2</property>
2884                         <property name="y_options"/>
2885                       </packing>
2886                     </child>
2887                     <child>
2888                       <object class="GtkCheckButton" id="cell-properties-width-check-button">
2889                         <property name="visible">True</property>
2890                         <property name="can_focus">True</property>
2891                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2892                         <property name="label" translatable="yes">Width:</property>
2893                         <property name="use_underline">True</property>
2894                         <property name="draw_indicator">True</property>
2895                         <signal handler="gtkhtml_editor_cell_properties_width_changed_cb" name="toggled" object="cell-properties-window"/>
2896                       </object>
2897                       <packing>
2898                         <property name="x_options">GTK_FILL</property>
2899                         <property name="y_options"/>
2900                       </packing>
2901                     </child>
2902                   </object>
2903                 </child>
2904               </object>
2905               <packing>
2906                 <property name="position">1</property>
2907               </packing>
2908             </child>
2909           </object>
2910           <packing>
2911             <property name="expand">False</property>
2912             <property name="fill">False</property>
2913             <property name="position">2</property>
2914           </packing>
2915         </child>
2916         <child>
2917           <object class="GtkVBox" id="cell-properties-background-vbox">
2918             <property name="visible">True</property>
2919             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2920             <property name="spacing">6</property>
2921             <child>
2922               <object class="GtkLabel" id="cell-properties-background-header">
2923                 <property name="visible">True</property>
2924                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2925                 <property name="xalign">0</property>
2926                 <property name="label" translatable="yes">Background</property>
2927                 <attributes>
2928                   <attribute name="weight" value="bold"/>
2929                 </attributes>
2930               </object>
2931             </child>
2932             <child>
2933               <object class="GtkAlignment" id="cell-properties-background-alignment">
2934                 <property name="visible">True</property>
2935                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2936                 <property name="left_padding">12</property>
2937                 <child>
2938                   <object class="GtkTable" id="cell-properties-background-table">
2939                     <property name="visible">True</property>
2940                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2941                     <property name="n_rows">2</property>
2942                     <property name="n_columns">2</property>
2943                     <property name="column_spacing">6</property>
2944                     <property name="row_spacing">6</property>
2945                     <child>
2946                       <object class="GtkFileChooserButton" id="cell-properties-image-file-chooser">
2947                         <property name="visible">True</property>
2948                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2949                         <property name="title" translatable="yes">Select An Image</property>
2950                         <signal handler="gtkhtml_editor_cell_properties_image_file_set_cb" name="file_set" object="cell-properties-window"/>
2951                       </object>
2952                       <packing>
2953                         <property name="left_attach">1</property>
2954                         <property name="right_attach">2</property>
2955                         <property name="top_attach">1</property>
2956                         <property name="bottom_attach">2</property>
2957                         <property name="y_options"/>
2958                       </packing>
2959                     </child>
2960                     <child>
2961                       <object class="GtkhtmlColorCombo" id="cell-properties-color-combo">
2962                         <property name="visible">True</property>
2963                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2964                         <property name="default_color">#000000000000</property>
2965                         <property name="default_label">Transparent</property>
2966                         <property name="default_transparent">True</property>
2967                         <signal handler="gtkhtml_editor_cell_properties_color_changed_cb" name="changed" object="cell-properties-window"/>
2968                       </object>
2969                       <packing>
2970                         <property name="left_attach">1</property>
2971                         <property name="right_attach">2</property>
2972                         <property name="y_options"/>
2973                       </packing>
2974                     </child>
2975                     <child>
2976                       <object class="GtkLabel" id="cell-properties-image-label">
2977                         <property name="visible">True</property>
2978                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2979                         <property name="label" translatable="yes">I_mage:</property>
2980                         <property name="use_underline">True</property>
2981                         <property name="mnemonic_widget">cell-properties-image-file-chooser</property>
2982                       </object>
2983                       <packing>
2984                         <property name="top_attach">1</property>
2985                         <property name="bottom_attach">2</property>
2986                         <property name="x_options">GTK_FILL</property>
2987                         <property name="y_options"/>
2988                       </packing>
2989                     </child>
2990                     <child>
2991                       <object class="GtkLabel" id="cell-properties-color-label">
2992                         <property name="visible">True</property>
2993                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2994                         <property name="xalign">1</property>
2995                         <property name="label" translatable="yes">C_olor:</property>
2996                         <property name="use_underline">True</property>
2997                         <property name="mnemonic_widget">cell-properties-color-combo</property>
2998                       </object>
2999                       <packing>
3000                         <property name="x_options">GTK_FILL</property>
3001                         <property name="y_options"/>
3002                       </packing>
3003                     </child>
3004                   </object>
3005                 </child>
3006               </object>
3007               <packing>
3008                 <property name="position">1</property>
3009               </packing>
3010             </child>
3011           </object>
3012           <packing>
3013             <property name="expand">False</property>
3014             <property name="fill">False</property>
3015             <property name="position">3</property>
3016           </packing>
3017         </child>
3018         <child>
3019           <object class="GtkHButtonBox" id="cell-properties-button-box">
3020             <property name="visible">True</property>
3021             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3022             <property name="spacing">12</property>
3023             <property name="layout_style">GTK_BUTTONBOX_END</property>
3024             <child>
3025               <object class="GtkButton" id="cell-properties-close-button">
3026                 <property name="visible">True</property>
3027                 <property name="can_focus">True</property>
3028                 <property name="receives_default">True</property>
3029                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3030                 <property name="label">gtk-close</property>
3031                 <property name="use_stock">True</property>
3032                 <signal handler="gtk_widget_hide" name="clicked" object="cell-properties-window"/>
3033               </object>
3034               <packing>
3035                 <property name="position">1</property>
3036               </packing>
3037             </child>
3038           </object>
3039           <packing>
3040             <property name="expand">False</property>
3041             <property name="fill">False</property>
3042             <property name="pack_type">GTK_PACK_END</property>
3043             <property name="position">4</property>
3044           </packing>
3045         </child>
3046       </object>
3047     </child>
3048   </object>
3049   <object class="GtkWindow" id="image-properties-window">
3050     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3051     <property name="border_width">12</property>
3052     <property name="title" translatable="yes">Image Properties</property>
3053     <property name="resizable">False</property>
3054     <property name="modal">True</property>
3055     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
3056     <property name="destroy_with_parent">True</property>
3057     <signal handler="gtk_widget_hide_on_delete" name="delete_event"/>
3058     <signal handler="gtkhtml_editor_image_properties_show_window_cb" name="show"/>
3059     <child>
3060       <object class="GtkVBox" id="image-properties-vbox">
3061         <property name="visible">True</property>
3062         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3063         <property name="spacing">12</property>
3064         <child>
3065           <object class="GtkVBox" id="image-properties-general-vbox">
3066             <property name="visible">True</property>
3067             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3068             <property name="spacing">6</property>
3069             <child>
3070               <object class="GtkLabel" id="image-properties-general-header">
3071                 <property name="visible">True</property>
3072                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3073                 <property name="xalign">0</property>
3074                 <property name="label" translatable="yes">General</property>
3075                 <attributes>
3076                   <attribute name="weight" value="bold"/>
3077                 </attributes>
3078               </object>
3079             </child>
3080             <child>
3081               <object class="GtkAlignment" id="image-properties-general-alignment">
3082                 <property name="visible">True</property>
3083                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3084                 <property name="left_padding">12</property>
3085                 <child>
3086                   <object class="GtkTable" id="image-properties-general-table">
3087                     <property name="visible">True</property>
3088                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3089                     <property name="n_rows">2</property>
3090                     <property name="n_columns">2</property>
3091                     <property name="column_spacing">6</property>
3092                     <property name="row_spacing">6</property>
3093                     <child>
3094                       <object class="GtkEntry" id="image-properties-description-entry">
3095                         <property name="visible">True</property>
3096                         <property name="can_focus">True</property>
3097                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3098                         <signal handler="gtkhtml_editor_image_properties_description_changed_cb" name="changed" object="image-properties-window"/>
3099                       </object>
3100                       <packing>
3101                         <property name="left_attach">1</property>
3102                         <property name="right_attach">2</property>
3103                         <property name="top_attach">1</property>
3104                         <property name="bottom_attach">2</property>
3105                         <property name="y_options"/>
3106                       </packing>
3107                     </child>
3108                     <child>
3109                       <object class="GtkFileChooserButton" id="image-properties-source-file-chooser">
3110                         <property name="visible">True</property>
3111                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3112                         <property name="local_only">False</property>
3113                         <signal handler="gtkhtml_editor_image_properties_source_file_set_cb" name="file_set" object="image-properties-window"/>
3114                       </object>
3115                       <packing>
3116                         <property name="left_attach">1</property>
3117                         <property name="right_attach">2</property>
3118                         <property name="y_options"/>
3119                       </packing>
3120                     </child>
3121                     <child>
3122                       <object class="GtkLabel" id="image-properties-description-label">
3123                         <property name="visible">True</property>
3124                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3125                         <property name="label" translatable="yes">_Description:</property>
3126                         <property name="use_underline">True</property>
3127                         <property name="mnemonic_widget">image-properties-description-entry</property>
3128                       </object>
3129                       <packing>
3130                         <property name="top_attach">1</property>
3131                         <property name="bottom_attach">2</property>
3132                         <property name="x_options">GTK_FILL</property>
3133                         <property name="y_options"/>
3134                       </packing>
3135                     </child>
3136                     <child>
3137                       <object class="GtkLabel" id="image-properties-source-label">
3138                         <property name="visible">True</property>
3139                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3140                         <property name="xalign">1</property>
3141                         <property name="label" translatable="yes">_Source:</property>
3142                         <property name="use_underline">True</property>
3143                         <property name="mnemonic_widget">image-properties-source-file-chooser</property>
3144                       </object>
3145                       <packing>
3146                         <property name="x_options">GTK_FILL</property>
3147                         <property name="y_options"/>
3148                       </packing>
3149                     </child>
3150                   </object>
3151                 </child>
3152               </object>
3153               <packing>
3154                 <property name="position">1</property>
3155               </packing>
3156             </child>
3157           </object>
3158           <packing>
3159             <property name="expand">False</property>
3160             <property name="fill">False</property>
3161           </packing>
3162         </child>
3163         <child>
3164           <object class="GtkVBox" id="image-properties-layout-vbox">
3165             <property name="visible">True</property>
3166             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3167             <property name="spacing">6</property>
3168             <child>
3169               <object class="GtkLabel" id="image-properties-layout-header">
3170                 <property name="visible">True</property>
3171                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3172                 <property name="xalign">0</property>
3173                 <property name="label" translatable="yes">Layout</property>
3174                 <attributes>
3175                   <attribute name="weight" value="bold"/>
3176                 </attributes>
3177               </object>
3178             </child>
3179             <child>
3180               <object class="GtkAlignment" id="image-properties-layout-alignment">
3181                 <property name="visible">True</property>
3182                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3183                 <property name="left_padding">12</property>
3184                 <child>
3185                   <object class="GtkTable" id="image-properties-layout-table">
3186                     <property name="visible">True</property>
3187                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3188                     <property name="n_rows">3</property>
3189                     <property name="n_columns">7</property>
3190                     <property name="column_spacing">6</property>
3191                     <property name="row_spacing">6</property>
3192                     <child>
3193                       <placeholder/>
3194                     </child>
3195                     <child>
3196                       <placeholder/>
3197                     </child>
3198                     <child>
3199                       <placeholder/>
3200                     </child>
3201                     <child>
3202                       <placeholder/>
3203                     </child>
3204                     <child>
3205                       <object class="GtkLabel" id="image-properties-width-label">
3206                         <property name="visible">True</property>
3207                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3208                         <property name="xalign">1</property>
3209                         <property name="label" translatable="yes">_Width:</property>
3210                         <property name="use_underline">True</property>
3211                         <property name="mnemonic_widget">image-properties-width-spin-button</property>
3212                       </object>
3213                       <packing>
3214                         <property name="x_options">GTK_FILL</property>
3215                         <property name="y_options"/>
3216                       </packing>
3217                     </child>
3218                     <child>
3219                       <object class="GtkLabel" id="image-properties-height-label">
3220                         <property name="visible">True</property>
3221                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3222                         <property name="xalign">1</property>
3223                         <property name="label" translatable="yes">_Height:</property>
3224                         <property name="use_underline">True</property>
3225                         <property name="mnemonic_widget">image-properties-height-spin-button</property>
3226                       </object>
3227                       <packing>
3228                         <property name="top_attach">1</property>
3229                         <property name="bottom_attach">2</property>
3230                         <property name="x_options">GTK_FILL</property>
3231                         <property name="y_options"/>
3232                       </packing>
3233                     </child>
3234                     <child>
3235                       <object class="GtkLabel" id="image-properties-alignment-label">
3236                         <property name="visible">True</property>
3237                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3238                         <property name="xalign">1</property>
3239                         <property name="label" translatable="yes">_Alignment:</property>
3240                         <property name="use_underline">True</property>
3241                         <property name="mnemonic_widget">image-properties-alignment-combo-box</property>
3242                       </object>
3243                       <packing>
3244                         <property name="top_attach">2</property>
3245                         <property name="bottom_attach">3</property>
3246                         <property name="x_options">GTK_FILL</property>
3247                         <property name="y_options"/>
3248                       </packing>
3249                     </child>
3250                     <child>
3251                       <object class="GtkSpinButton" id="image-properties-width-spin-button">
3252                         <property name="width_request">100</property>
3253                         <property name="visible">True</property>
3254                         <property name="can_focus">True</property>
3255                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3256                         <property name="adjustment">adjustment12</property>
3257                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="value_changed" object="image-properties-window"/>
3258                       </object>
3259                       <packing>
3260                         <property name="left_attach">1</property>
3261                         <property name="right_attach">2</property>
3262                         <property name="y_options"/>
3263                       </packing>
3264                     </child>
3265                     <child>
3266                       <object class="GtkSpinButton" id="image-properties-height-spin-button">
3267                         <property name="width_request">100</property>
3268                         <property name="visible">True</property>
3269                         <property name="can_focus">True</property>
3270                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3271                         <property name="adjustment">adjustment13</property>
3272                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="value_changed" object="image-properties-window"/>
3273                       </object>
3274                       <packing>
3275                         <property name="left_attach">1</property>
3276                         <property name="right_attach">2</property>
3277                         <property name="top_attach">1</property>
3278                         <property name="bottom_attach">2</property>
3279                         <property name="y_options"/>
3280                       </packing>
3281                     </child>
3282                     <child>
3283                       <object class="GtkComboBox" id="image-properties-width-combo-box">
3284                         <property name="visible">True</property>
3285                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3286                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="changed" object="image-properties-window"/>
3287                         <property name="model">model9</property>
3288                         <child>
3289                           <object class="GtkCellRendererText" id="renderer9"/>
3290                           <attributes>
3291                             <attribute name="text">0</attribute>
3292                           </attributes>
3293                         </child>
3294                       </object>
3295                       <packing>
3296                         <property name="left_attach">2</property>
3297                         <property name="right_attach">3</property>
3298                         <property name="x_options"/>
3299                         <property name="y_options"/>
3300                       </packing>
3301                     </child>
3302                     <child>
3303                       <object class="GtkComboBox" id="image-properties-height-combo-box">
3304                         <property name="visible">True</property>
3305                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3306                         <signal handler="gtkhtml_editor_image_properties_size_changed_cb" name="changed" object="image-properties-window"/>
3307                         <property name="model">model10</property>
3308                         <child>
3309                           <object class="GtkCellRendererText" id="renderer10"/>
3310                           <attributes>
3311                             <attribute name="text">0</attribute>
3312                           </attributes>
3313                         </child>
3314                       </object>
3315                       <packing>
3316                         <property name="left_attach">2</property>
3317                         <property name="right_attach">3</property>
3318                         <property name="top_attach">1</property>
3319                         <property name="bottom_attach">2</property>
3320                         <property name="x_options"/>
3321                         <property name="y_options"/>
3322                       </packing>
3323                     </child>
3324                     <child>
3325                       <object class="GtkComboBox" id="image-properties-alignment-combo-box">
3326                         <property name="visible">True</property>
3327                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3328                         <signal handler="gtkhtml_editor_image_properties_alignment_changed_cb" name="changed" object="image-properties-window"/>
3329                         <property name="model">model11</property>
3330                         <child>
3331                           <object class="GtkCellRendererText" id="renderer11"/>
3332                           <attributes>
3333                             <attribute name="text">0</attribute>
3334                           </attributes>
3335                         </child>
3336                       </object>
3337                       <packing>
3338                         <property name="left_attach">1</property>
3339                         <property name="right_attach">2</property>
3340                         <property name="top_attach">2</property>
3341                         <property name="bottom_attach">3</property>
3342                         <property name="y_options"/>
3343                       </packing>
3344                     </child>
3345                     <child>
3346                       <object class="GtkLabel" id="image-properties-x-padding-label">
3347                         <property name="visible">True</property>
3348                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3349                         <property name="xalign">1</property>
3350                         <property name="label" translatable="yes">_X-Padding:</property>
3351                         <property name="use_underline">True</property>
3352                         <property name="mnemonic_widget">image-properties-x-padding-spin-button</property>
3353                       </object>
3354                       <packing>
3355                         <property name="left_attach">4</property>
3356                         <property name="right_attach">5</property>
3357                         <property name="x_options">GTK_FILL</property>
3358                         <property name="y_options"/>
3359                       </packing>
3360                     </child>
3361                     <child>
3362                       <object class="GtkLabel" id="image-properties-y-padding-label">
3363                         <property name="visible">True</property>
3364                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3365                         <property name="xalign">1</property>
3366                         <property name="label" translatable="yes">_Y-Padding:</property>
3367                         <property name="use_underline">True</property>
3368                         <property name="mnemonic_widget">image-properties-y-padding-spin-button</property>
3369                       </object>
3370                       <packing>
3371                         <property name="left_attach">4</property>
3372                         <property name="right_attach">5</property>
3373                         <property name="top_attach">1</property>
3374                         <property name="bottom_attach">2</property>
3375                         <property name="x_options">GTK_FILL</property>
3376                         <property name="y_options"/>
3377                       </packing>
3378                     </child>
3379                     <child>
3380                       <object class="GtkLabel" id="image-properties-border-label">
3381                         <property name="visible">True</property>
3382                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3383                         <property name="xalign">1</property>
3384                         <property name="label" translatable="yes">_Border:</property>
3385                         <property name="use_underline">True</property>
3386                         <property name="mnemonic_widget">image-properties-border-spin-button</property>
3387                       </object>
3388                       <packing>
3389                         <property name="left_attach">4</property>
3390                         <property name="right_attach">5</property>
3391                         <property name="top_attach">2</property>
3392                         <property name="bottom_attach">3</property>
3393                         <property name="x_options">GTK_FILL</property>
3394                         <property name="y_options"/>
3395                       </packing>
3396                     </child>
3397                     <child>
3398                       <object class="GtkSpinButton" id="image-properties-x-padding-spin-button">
3399                         <property name="visible">True</property>
3400                         <property name="can_focus">True</property>
3401                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3402                         <property name="adjustment">adjustment14</property>
3403                         <signal handler="gtkhtml_editor_image_properties_padding_changed_cb" name="value_changed" object="image-properties-window"/>
3404                       </object>
3405                       <packing>
3406                         <property name="left_attach">5</property>
3407                         <property name="right_attach">6</property>
3408                         <property name="y_options"/>
3409                       </packing>
3410                     </child>
3411                     <child>
3412                       <object class="GtkLabel" id="image-properties-x-padding-units-label">
3413                         <property name="visible">True</property>
3414                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3415                         <property name="xalign">0</property>
3416                         <property name="label" translatable="yes">px</property>
3417                       </object>
3418                       <packing>
3419                         <property name="left_attach">6</property>
3420                         <property name="right_attach">7</property>
3421                         <property name="x_options">GTK_FILL</property>
3422                         <property name="y_options"/>
3423                       </packing>
3424                     </child>
3425                     <child>
3426                       <object class="GtkLabel" id="image-properties-y-padding-units-label">
3427                         <property name="visible">True</property>
3428                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3429                         <property name="xalign">0</property>
3430                         <property name="label" translatable="yes">px</property>
3431                       </object>
3432                       <packing>
3433                         <property name="left_attach">6</property>
3434                         <property name="right_attach">7</property>
3435                         <property name="top_attach">1</property>
3436                         <property name="bottom_attach">2</property>
3437                         <property name="x_options">GTK_FILL</property>
3438                         <property name="y_options"/>
3439                       </packing>
3440                     </child>
3441                     <child>
3442                       <object class="GtkSpinButton" id="image-properties-y-padding-spin-button">
3443                         <property name="visible">True</property>
3444                         <property name="can_focus">True</property>
3445                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3446                         <property name="adjustment">adjustment15</property>
3447                         <signal handler="gtkhtml_editor_image_properties_padding_changed_cb" name="value_changed" object="image-properties-window"/>
3448                       </object>
3449                       <packing>
3450                         <property name="left_attach">5</property>
3451                         <property name="right_attach">6</property>
3452                         <property name="top_attach">1</property>
3453                         <property name="bottom_attach">2</property>
3454                         <property name="y_options"/>
3455                       </packing>
3456                     </child>
3457                     <child>
3458                       <object class="GtkLabel" id="image-properties-border-units-label">
3459                         <property name="visible">True</property>
3460                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3461                         <property name="xalign">0</property>
3462                         <property name="label" translatable="yes">px</property>
3463                       </object>
3464                       <packing>
3465                         <property name="left_attach">6</property>
3466                         <property name="right_attach">7</property>
3467                         <property name="top_attach">2</property>
3468                         <property name="bottom_attach">3</property>
3469                         <property name="x_options">GTK_FILL</property>
3470                         <property name="y_options"/>
3471                       </packing>
3472                     </child>
3473                     <child>
3474                       <object class="GtkSpinButton" id="image-properties-border-spin-button">
3475                         <property name="visible">True</property>
3476                         <property name="can_focus">True</property>
3477                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3478                         <property name="adjustment">adjustment16</property>
3479                         <signal handler="gtkhtml_editor_image_properties_border_changed_cb" name="value_changed" object="image-properties-window"/>
3480                       </object>
3481                       <packing>
3482                         <property name="left_attach">5</property>
3483                         <property name="right_attach">6</property>
3484                         <property name="top_attach">2</property>
3485                         <property name="bottom_attach">3</property>
3486                         <property name="y_options"/>
3487                       </packing>
3488                     </child>
3489                   </object>
3490                 </child>
3491               </object>
3492               <packing>
3493                 <property name="position">1</property>
3494               </packing>
3495             </child>
3496           </object>
3497           <packing>
3498             <property name="expand">False</property>
3499             <property name="fill">False</property>
3500             <property name="position">1</property>
3501           </packing>
3502         </child>
3503         <child>
3504           <object class="GtkVBox" id="image-properties-link-vbox">
3505             <property name="visible">True</property>
3506             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3507             <property name="spacing">6</property>
3508             <child>
3509               <object class="GtkLabel" id="image-properties-link-header">
3510                 <property name="visible">True</property>
3511                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3512                 <property name="xalign">0</property>
3513                 <property name="label" translatable="yes">Link</property>
3514                 <attributes>
3515                   <attribute name="weight" value="bold"/>
3516                 </attributes>
3517               </object>
3518             </child>
3519             <child>
3520               <object class="GtkAlignment" id="image-properties-link-alignment">
3521                 <property name="visible">True</property>
3522                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3523                 <property name="left_padding">12</property>
3524                 <child>
3525                   <object class="GtkTable" id="image-properties-link-table">
3526                     <property name="visible">True</property>
3527                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3528                     <property name="n_columns">3</property>
3529                     <property name="column_spacing">6</property>
3530                     <property name="row_spacing">6</property>
3531                     <child>
3532                       <object class="GtkButton" id="image-properties-url-button">
3533                         <property name="visible">True</property>
3534                         <property name="can_focus">True</property>
3535                         <property name="receives_default">True</property>
3536                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3537                         <property name="label" translatable="yes">_Test URL...</property>
3538                         <property name="use_underline">True</property>
3539                         <signal handler="gtkhtml_editor_image_properties_url_button_clicked_cb" name="clicked" object="image-properties-window"/>
3540                       </object>
3541                       <packing>
3542                         <property name="left_attach">2</property>
3543                         <property name="right_attach">3</property>
3544                         <property name="x_options">GTK_FILL</property>
3545                         <property name="y_options"/>
3546                       </packing>
3547                     </child>
3548                     <child>
3549                       <object class="GtkEntry" id="image-properties-url-entry">
3550                         <property name="visible">True</property>
3551                         <property name="can_focus">True</property>
3552                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3553                         <signal handler="gtkhtml_editor_image_properties_url_entry_changed_cb" name="changed" object="image-properties-window"/>
3554                       </object>
3555                       <packing>
3556                         <property name="left_attach">1</property>
3557                         <property name="right_attach">2</property>
3558                         <property name="y_options"/>
3559                       </packing>
3560                     </child>
3561                     <child>
3562                       <object class="GtkLabel" id="image-properties-url-label">
3563                         <property name="visible">True</property>
3564                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3565                         <property name="xalign">1</property>
3566                         <property name="label" translatable="yes">_URL:</property>
3567                         <property name="use_underline">True</property>
3568                         <property name="mnemonic_widget">image-properties-url-entry</property>
3569                       </object>
3570                       <packing>
3571                         <property name="x_options">GTK_FILL</property>
3572                         <property name="y_options"/>
3573                       </packing>
3574                     </child>
3575                   </object>
3576                 </child>
3577               </object>
3578               <packing>
3579                 <property name="position">1</property>
3580               </packing>
3581             </child>
3582           </object>
3583           <packing>
3584             <property name="expand">False</property>
3585             <property name="fill">False</property>
3586             <property name="position">2</property>
3587           </packing>
3588         </child>
3589         <child>
3590           <object class="GtkHButtonBox" id="image-properties-button-box">
3591             <property name="visible">True</property>
3592             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3593             <property name="spacing">12</property>
3594             <property name="layout_style">GTK_BUTTONBOX_END</property>
3595             <child>
3596               <object class="GtkButton" id="image-properties-close-button">
3597                 <property name="visible">True</property>
3598                 <property name="can_focus">True</property>
3599                 <property name="receives_default">True</property>
3600                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3601                 <property name="label">gtk-close</property>
3602                 <property name="use_stock">True</property>
3603                 <signal handler="gtk_widget_hide" name="clicked" object="image-properties-window"/>
3604               </object>
3605               <packing>
3606                 <property name="position">1</property>
3607               </packing>
3608             </child>
3609           </object>
3610           <packing>
3611             <property name="expand">False</property>
3612             <property name="fill">False</property>
3613             <property name="pack_type">GTK_PACK_END</property>
3614             <property name="position">3</property>
3615           </packing>
3616         </child>
3617       </object>
3618     </child>
3619   </object>
3620 </interface>