src/frontends/gtk/glade/mathMatrix.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkDialog" id="dialog">
   7   <property name="border_width">6</property>
   8   <property name="title" translatable="yes">Create Matrix</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">False</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19   <property name="has_separator">True</property>
  20
  21   <child internal-child="vbox">
  22     <widget class="GtkVBox" id="dialog-vbox1">
  23       <property name="visible">True</property>
  24       <property name="homogeneous">False</property>
  25       <property name="spacing">0</property>
  26
  27       <child internal-child="action_area">
  28         <widget class="GtkHButtonBox" id="dialog-action_area1">
  29           <property name="visible">True</property>
  30           <property name="layout_style">GTK_BUTTONBOX_END</property>
  31
  32           <child>
  33             <widget class="GtkButton" id="Cancel">
  34               <property name="visible">True</property>
  35               <property name="can_default">True</property>
  36               <property name="can_focus">True</property>
  37               <property name="label">gtk-cancel</property>
  38               <property name="use_stock">True</property>
  39               <property name="relief">GTK_RELIEF_NORMAL</property>
  40               <property name="focus_on_click">True</property>
  41               <property name="response_id">-6</property>
  42             </widget>
  43           </child>
  44
  45           <child>
  46             <widget class="GtkButton" id="Insert">
  47               <property name="visible">True</property>
  48               <property name="can_default">True</property>
  49               <property name="has_default">True</property>
  50               <property name="can_focus">True</property>
  51               <property name="relief">GTK_RELIEF_NORMAL</property>
  52               <property name="focus_on_click">True</property>
  53               <property name="response_id">0</property>
  54
  55               <child>
  56                 <widget class="GtkAlignment" id="alignment7">
  57                   <property name="visible">True</property>
  58                   <property name="xalign">0.5</property>
  59                   <property name="yalign">0.5</property>
  60                   <property name="xscale">0</property>
  61                   <property name="yscale">0</property>
  62                   <property name="top_padding">0</property>
  63                   <property name="bottom_padding">0</property>
  64                   <property name="left_padding">0</property>
  65                   <property name="right_padding">0</property>
  66
  67                   <child>
  68                     <widget class="GtkHBox" id="hbox4">
  69                       <property name="visible">True</property>
  70                       <property name="homogeneous">False</property>
  71                       <property name="spacing">2</property>
  72
  73                       <child>
  74                         <widget class="GtkImage" id="image4">
  75                           <property name="visible">True</property>
  76                           <property name="stock">gtk-new</property>
  77                           <property name="icon_size">4</property>
  78                           <property name="xalign">0.5</property>
  79                           <property name="yalign">0.5</property>
  80                           <property name="xpad">0</property>
  81                           <property name="ypad">0</property>
  82                         </widget>
  83                         <packing>
  84                           <property name="padding">0</property>
  85                           <property name="expand">False</property>
  86                           <property name="fill">False</property>
  87                         </packing>
  88                       </child>
  89
  90                       <child>
  91                         <widget class="GtkLabel" id="label11">
  92                           <property name="visible">True</property>
  93                           <property name="label" translatable="yes">_Insert Matrix</property>
  94                           <property name="use_underline">True</property>
  95                           <property name="use_markup">False</property>
  96                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  97                           <property name="wrap">False</property>
  98                           <property name="selectable">False</property>
  99                           <property name="xalign">0.5</property>
 100                           <property name="yalign">0.5</property>
 101                           <property name="xpad">0</property>
 102                           <property name="ypad">0</property>
 103                         </widget>
 104                         <packing>
 105                           <property name="padding">0</property>
 106                           <property name="expand">False</property>
 107                           <property name="fill">False</property>
 108                         </packing>
 109                       </child>
 110                     </widget>
 111                   </child>
 112                 </widget>
 113               </child>
 114             </widget>
 115           </child>
 116         </widget>
 117         <packing>
 118           <property name="padding">0</property>
 119           <property name="expand">False</property>
 120           <property name="fill">True</property>
 121           <property name="pack_type">GTK_PACK_END</property>
 122         </packing>
 123       </child>
 124
 125       <child>
 126         <widget class="GtkVBox" id="vbox2">
 127           <property name="visible">True</property>
 128           <property name="homogeneous">False</property>
 129           <property name="spacing">0</property>
 130
 131           <child>
 132             <widget class="GtkFrame" id="frame3">
 133               <property name="visible">True</property>
 134               <property name="label_xalign">0</property>
 135               <property name="label_yalign">0.5</property>
 136               <property name="shadow_type">GTK_SHADOW_NONE</property>
 137
 138               <child>
 139                 <widget class="GtkAlignment" id="alignment6">
 140                   <property name="visible">True</property>
 141                   <property name="xalign">0.5</property>
 142                   <property name="yalign">0.5</property>
 143                   <property name="xscale">1</property>
 144                   <property name="yscale">1</property>
 145                   <property name="top_padding">0</property>
 146                   <property name="bottom_padding">0</property>
 147                   <property name="left_padding">12</property>
 148                   <property name="right_padding">0</property>
 149
 150                   <child>
 151                     <widget class="GtkTable" id="table1">
 152                       <property name="visible">True</property>
 153                       <property name="n_rows">2</property>
 154                       <property name="n_columns">3</property>
 155                       <property name="homogeneous">False</property>
 156                       <property name="row_spacing">6</property>
 157                       <property name="column_spacing">0</property>
 158
 159                       <child>
 160                         <widget class="GtkLabel" id="label10">
 161                           <property name="visible">True</property>
 162                           <property name="label" translatable="yes">C_olumns:</property>
 163                           <property name="use_underline">True</property>
 164                           <property name="use_markup">False</property>
 165                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 166                           <property name="wrap">False</property>
 167                           <property name="selectable">False</property>
 168                           <property name="xalign">0</property>
 169                           <property name="yalign">0.5</property>
 170                           <property name="xpad">0</property>
 171                           <property name="ypad">0</property>
 172                           <property name="mnemonic_widget">Columns</property>
 173                         </widget>
 174                         <packing>
 175                           <property name="left_attach">0</property>
 176                           <property name="right_attach">1</property>
 177                           <property name="top_attach">1</property>
 178                           <property name="bottom_attach">2</property>
 179                           <property name="x_options">fill</property>
 180                           <property name="y_options"></property>
 181                         </packing>
 182                       </child>
 183
 184                       <child>
 185                         <widget class="GtkSpinButton" id="Columns">
 186                           <property name="visible">True</property>
 187                           <property name="can_focus">True</property>
 188                           <property name="climb_rate">1</property>
 189                           <property name="digits">0</property>
 190                           <property name="numeric">True</property>
 191                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 192                           <property name="snap_to_ticks">False</property>
 193                           <property name="wrap">False</property>
 194                           <property name="adjustment">2 1 20 1 10 10</property>
 195                         </widget>
 196                         <packing>
 197                           <property name="left_attach">1</property>
 198                           <property name="right_attach">2</property>
 199                           <property name="top_attach">1</property>
 200                           <property name="bottom_attach">2</property>
 201                           <property name="x_options">expand</property>
 202                           <property name="y_options"></property>
 203                         </packing>
 204                       </child>
 205
 206                       <child>
 207                         <widget class="GtkSpinButton" id="Rows">
 208                           <property name="visible">True</property>
 209                           <property name="can_focus">True</property>
 210                           <property name="has_focus">True</property>
 211                           <property name="climb_rate">1</property>
 212                           <property name="digits">0</property>
 213                           <property name="numeric">True</property>
 214                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 215                           <property name="snap_to_ticks">False</property>
 216                           <property name="wrap">False</property>
 217                           <property name="adjustment">2 1 20 1 10 10</property>
 218                         </widget>
 219                         <packing>
 220                           <property name="left_attach">1</property>
 221                           <property name="right_attach">2</property>
 222                           <property name="top_attach">0</property>
 223                           <property name="bottom_attach">1</property>
 224                           <property name="x_options"></property>
 225                           <property name="y_options"></property>
 226                         </packing>
 227                       </child>
 228
 229                       <child>
 230                         <widget class="GtkLabel" id="label9">
 231                           <property name="visible">True</property>
 232                           <property name="label" translatable="yes">_Rows:</property>
 233                           <property name="use_underline">True</property>
 234                           <property name="use_markup">False</property>
 235                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 236                           <property name="wrap">False</property>
 237                           <property name="selectable">False</property>
 238                           <property name="xalign">0</property>
 239                           <property name="yalign">0.5</property>
 240                           <property name="xpad">0</property>
 241                           <property name="ypad">0</property>
 242                           <property name="mnemonic_widget">Rows</property>
 243                         </widget>
 244                         <packing>
 245                           <property name="left_attach">0</property>
 246                           <property name="right_attach">1</property>
 247                           <property name="top_attach">0</property>
 248                           <property name="bottom_attach">1</property>
 249                           <property name="x_options">fill</property>
 250                           <property name="y_options"></property>
 251                         </packing>
 252                       </child>
 253                     </widget>
 254                   </child>
 255                 </widget>
 256               </child>
 257
 258               <child>
 259                 <widget class="GtkLabel" id="label8">
 260                   <property name="visible">True</property>
 261                   <property name="label" translatable="yes">&lt;b&gt;Size&lt;/b&gt;</property>
 262                   <property name="use_underline">False</property>
 263                   <property name="use_markup">True</property>
 264                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 265                   <property name="wrap">False</property>
 266                   <property name="selectable">False</property>
 267                   <property name="xalign">0.5</property>
 268                   <property name="yalign">0.5</property>
 269                   <property name="xpad">0</property>
 270                   <property name="ypad">0</property>
 271                 </widget>
 272                 <packing>
 273                   <property name="type">label_item</property>
 274                 </packing>
 275               </child>
 276             </widget>
 277             <packing>
 278               <property name="padding">0</property>
 279               <property name="expand">True</property>
 280               <property name="fill">True</property>
 281             </packing>
 282           </child>
 283
 284           <child>
 285             <widget class="GtkFrame" id="frame1">
 286               <property name="border_width">4</property>
 287               <property name="visible">True</property>
 288               <property name="label_xalign">0</property>
 289               <property name="label_yalign">0.5</property>
 290               <property name="shadow_type">GTK_SHADOW_NONE</property>
 291
 292               <child>
 293                 <widget class="GtkAlignment" id="alignment1">
 294                   <property name="visible">True</property>
 295                   <property name="xalign">0.5</property>
 296                   <property name="yalign">0.5</property>
 297                   <property name="xscale">1</property>
 298                   <property name="yscale">1</property>
 299                   <property name="top_padding">0</property>
 300                   <property name="bottom_padding">0</property>
 301                   <property name="left_padding">12</property>
 302                   <property name="right_padding">0</property>
 303
 304                   <child>
 305                     <widget class="GtkVBox" id="vbox2">
 306                       <property name="visible">True</property>
 307                       <property name="homogeneous">False</property>
 308                       <property name="spacing">0</property>
 309
 310                       <child>
 311                         <widget class="GtkRadioButton" id="Top">
 312                           <property name="visible">True</property>
 313                           <property name="can_focus">True</property>
 314                           <property name="relief">GTK_RELIEF_NORMAL</property>
 315                           <property name="focus_on_click">True</property>
 316                           <property name="active">False</property>
 317                           <property name="inconsistent">False</property>
 318                           <property name="draw_indicator">True</property>
 319
 320                           <child>
 321                             <widget class="GtkAlignment" id="alignment3">
 322                               <property name="visible">True</property>
 323                               <property name="xalign">0.5</property>
 324                               <property name="yalign">0.5</property>
 325                               <property name="xscale">0</property>
 326                               <property name="yscale">0</property>
 327                               <property name="top_padding">0</property>
 328                               <property name="bottom_padding">0</property>
 329                               <property name="left_padding">0</property>
 330                               <property name="right_padding">0</property>
 331
 332                               <child>
 333                                 <widget class="GtkHBox" id="hbox1">
 334                                   <property name="visible">True</property>
 335                                   <property name="homogeneous">False</property>
 336                                   <property name="spacing">2</property>
 337
 338                                   <child>
 339                                     <widget class="GtkImage" id="image1">
 340                                       <property name="visible">True</property>
 341                                       <property name="stock">gtk-goto-top</property>
 342                                       <property name="icon_size">4</property>
 343                                       <property name="xalign">0.5</property>
 344                                       <property name="yalign">0.5</property>
 345                                       <property name="xpad">0</property>
 346                                       <property name="ypad">0</property>
 347                                     </widget>
 348                                     <packing>
 349                                       <property name="padding">0</property>
 350                                       <property name="expand">False</property>
 351                                       <property name="fill">False</property>
 352                                     </packing>
 353                                   </child>
 354
 355                                   <child>
 356                                     <widget class="GtkLabel" id="label5">
 357                                       <property name="visible">True</property>
 358                                       <property name="label" translatable="yes">_Top</property>
 359                                       <property name="use_underline">True</property>
 360                                       <property name="use_markup">False</property>
 361                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 362                                       <property name="wrap">False</property>
 363                                       <property name="selectable">False</property>
 364                                       <property name="xalign">0.5</property>
 365                                       <property name="yalign">0.5</property>
 366                                       <property name="xpad">0</property>
 367                                       <property name="ypad">0</property>
 368                                     </widget>
 369                                     <packing>
 370                                       <property name="padding">0</property>
 371                                       <property name="expand">False</property>
 372                                       <property name="fill">False</property>
 373                                     </packing>
 374                                   </child>
 375                                 </widget>
 376                               </child>
 377                             </widget>
 378                           </child>
 379                         </widget>
 380                         <packing>
 381                           <property name="padding">0</property>
 382                           <property name="expand">False</property>
 383                           <property name="fill">False</property>
 384                         </packing>
 385                       </child>
 386
 387                       <child>
 388                         <widget class="GtkRadioButton" id="Center">
 389                           <property name="visible">True</property>
 390                           <property name="can_focus">True</property>
 391                           <property name="relief">GTK_RELIEF_NORMAL</property>
 392                           <property name="focus_on_click">True</property>
 393                           <property name="active">True</property>
 394                           <property name="inconsistent">False</property>
 395                           <property name="draw_indicator">True</property>
 396                           <property name="group">Top</property>
 397
 398                           <child>
 399                             <widget class="GtkAlignment" id="alignment5">
 400                               <property name="visible">True</property>
 401                               <property name="xalign">0.5</property>
 402                               <property name="yalign">0.5</property>
 403                               <property name="xscale">0</property>
 404                               <property name="yscale">0</property>
 405                               <property name="top_padding">0</property>
 406                               <property name="bottom_padding">0</property>
 407                               <property name="left_padding">0</property>
 408                               <property name="right_padding">0</property>
 409
 410                               <child>
 411                                 <widget class="GtkHBox" id="hbox3">
 412                                   <property name="visible">True</property>
 413                                   <property name="homogeneous">False</property>
 414                                   <property name="spacing">2</property>
 415
 416                                   <child>
 417                                     <widget class="GtkImage" id="image3">
 418                                       <property name="visible">True</property>
 419                                       <property name="stock">gtk-justify-center</property>
 420                                       <property name="icon_size">4</property>
 421                                       <property name="xalign">0.5</property>
 422                                       <property name="yalign">0.5</property>
 423                                       <property name="xpad">0</property>
 424                                       <property name="ypad">0</property>
 425                                     </widget>
 426                                     <packing>
 427                                       <property name="padding">0</property>
 428                                       <property name="expand">False</property>
 429                                       <property name="fill">False</property>
 430                                     </packing>
 431                                   </child>
 432
 433                                   <child>
 434                                     <widget class="GtkLabel" id="label7">
 435                                       <property name="visible">True</property>
 436                                       <property name="label" translatable="yes">C_enter</property>
 437                                       <property name="use_underline">True</property>
 438                                       <property name="use_markup">False</property>
 439                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 440                                       <property name="wrap">False</property>
 441                                       <property name="selectable">False</property>
 442                                       <property name="xalign">0.5</property>
 443                                       <property name="yalign">0.5</property>
 444                                       <property name="xpad">0</property>
 445                                       <property name="ypad">0</property>
 446                                     </widget>
 447                                     <packing>
 448                                       <property name="padding">0</property>
 449                                       <property name="expand">False</property>
 450                                       <property name="fill">False</property>
 451                                     </packing>
 452                                   </child>
 453                                 </widget>
 454                               </child>
 455                             </widget>
 456                           </child>
 457                         </widget>
 458                         <packing>
 459                           <property name="padding">0</property>
 460                           <property name="expand">False</property>
 461                           <property name="fill">False</property>
 462                         </packing>
 463                       </child>
 464
 465                       <child>
 466                         <widget class="GtkRadioButton" id="Bottom">
 467                           <property name="visible">True</property>
 468                           <property name="can_focus">True</property>
 469                           <property name="relief">GTK_RELIEF_NORMAL</property>
 470                           <property name="focus_on_click">True</property>
 471                           <property name="active">False</property>
 472                           <property name="inconsistent">False</property>
 473                           <property name="draw_indicator">True</property>
 474                           <property name="group">Top</property>
 475
 476                           <child>
 477                             <widget class="GtkAlignment" id="alignment4">
 478                               <property name="visible">True</property>
 479                               <property name="xalign">0.5</property>
 480                               <property name="yalign">0.5</property>
 481                               <property name="xscale">0</property>
 482                               <property name="yscale">0</property>
 483                               <property name="top_padding">0</property>
 484                               <property name="bottom_padding">0</property>
 485                               <property name="left_padding">0</property>
 486                               <property name="right_padding">0</property>
 487
 488                               <child>
 489                                 <widget class="GtkHBox" id="hbox2">
 490                                   <property name="visible">True</property>
 491                                   <property name="homogeneous">False</property>
 492                                   <property name="spacing">2</property>
 493
 494                                   <child>
 495                                     <widget class="GtkImage" id="image2">
 496                                       <property name="visible">True</property>
 497                                       <property name="stock">gtk-goto-bottom</property>
 498                                       <property name="icon_size">4</property>
 499                                       <property name="xalign">0.5</property>
 500                                       <property name="yalign">0.5</property>
 501                                       <property name="xpad">0</property>
 502                                       <property name="ypad">0</property>
 503                                     </widget>
 504                                     <packing>
 505                                       <property name="padding">0</property>
 506                                       <property name="expand">False</property>
 507                                       <property name="fill">False</property>
 508                                     </packing>
 509                                   </child>
 510
 511                                   <child>
 512                                     <widget class="GtkLabel" id="label6">
 513                                       <property name="visible">True</property>
 514                                       <property name="label" translatable="yes">_Bottom</property>
 515                                       <property name="use_underline">True</property>
 516                                       <property name="use_markup">False</property>
 517                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 518                                       <property name="wrap">False</property>
 519                                       <property name="selectable">False</property>
 520                                       <property name="xalign">0.5</property>
 521                                       <property name="yalign">0.5</property>
 522                                       <property name="xpad">0</property>
 523                                       <property name="ypad">0</property>
 524                                     </widget>
 525                                     <packing>
 526                                       <property name="padding">0</property>
 527                                       <property name="expand">False</property>
 528                                       <property name="fill">False</property>
 529                                     </packing>
 530                                   </child>
 531                                 </widget>
 532                               </child>
 533                             </widget>
 534                           </child>
 535                         </widget>
 536                         <packing>
 537                           <property name="padding">0</property>
 538                           <property name="expand">False</property>
 539                           <property name="fill">False</property>
 540                         </packing>
 541                       </child>
 542                     </widget>
 543                   </child>
 544                 </widget>
 545               </child>
 546
 547               <child>
 548                 <widget class="GtkLabel" id="label1">
 549                   <property name="visible">True</property>
 550                   <property name="label" translatable="yes">&lt;b&gt;Vertical Alignment&lt;/b&gt;</property>
 551                   <property name="use_underline">False</property>
 552                   <property name="use_markup">True</property>
 553                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 554                   <property name="wrap">False</property>
 555                   <property name="selectable">False</property>
 556                   <property name="xalign">0.5</property>
 557                   <property name="yalign">0.5</property>
 558                   <property name="xpad">0</property>
 559                   <property name="ypad">0</property>
 560                 </widget>
 561                 <packing>
 562                   <property name="type">label_item</property>
 563                 </packing>
 564               </child>
 565             </widget>
 566             <packing>
 567               <property name="padding">0</property>
 568               <property name="expand">True</property>
 569               <property name="fill">True</property>
 570             </packing>
 571           </child>
 572
 573           <child>
 574             <widget class="GtkFrame" id="frame2">
 575               <property name="border_width">4</property>
 576               <property name="visible">True</property>
 577               <property name="label_xalign">0</property>
 578               <property name="label_yalign">0.5</property>
 579               <property name="shadow_type">GTK_SHADOW_NONE</property>
 580
 581               <child>
 582                 <widget class="GtkAlignment" id="alignment2">
 583                   <property name="border_width">5</property>
 584                   <property name="visible">True</property>
 585                   <property name="xalign">0.5</property>
 586                   <property name="yalign">0.5</property>
 587                   <property name="xscale">1</property>
 588                   <property name="yscale">1</property>
 589                   <property name="top_padding">0</property>
 590                   <property name="bottom_padding">0</property>
 591                   <property name="left_padding">12</property>
 592                   <property name="right_padding">0</property>
 593
 594                   <child>
 595                     <widget class="GtkEntry" id="HorzAlign">
 596                       <property name="visible">True</property>
 597                       <property name="can_focus">True</property>
 598                       <property name="editable">True</property>
 599                       <property name="visibility">True</property>
 600                       <property name="max_length">0</property>
 601                       <property name="text" translatable="yes">cc</property>
 602                       <property name="has_frame">True</property>
 603                       <property name="invisible_char" translatable="yes">*</property>
 604                       <property name="activates_default">False</property>
 605                     </widget>
 606                   </child>
 607                 </widget>
 608               </child>
 609
 610               <child>
 611                 <widget class="GtkLabel" id="label4">
 612                   <property name="visible">True</property>
 613                   <property name="label" translatable="yes">&lt;b&gt;_Horizontal Alignment&lt;/b&gt;</property>
 614                   <property name="use_underline">True</property>
 615                   <property name="use_markup">True</property>
 616                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 617                   <property name="wrap">False</property>
 618                   <property name="selectable">False</property>
 619                   <property name="xalign">0.5</property>
 620                   <property name="yalign">0.5</property>
 621                   <property name="xpad">0</property>
 622                   <property name="ypad">0</property>
 623                   <property name="mnemonic_widget">HorzAlign</property>
 624                 </widget>
 625                 <packing>
 626                   <property name="type">label_item</property>
 627                 </packing>
 628               </child>
 629             </widget>
 630             <packing>
 631               <property name="padding">0</property>
 632               <property name="expand">True</property>
 633               <property name="fill">True</property>
 634             </packing>
 635           </child>
 636         </widget>
 637         <packing>
 638           <property name="padding">0</property>
 639           <property name="expand">True</property>
 640           <property name="fill">True</property>
 641         </packing>
 642       </child>
 643     </widget>
 644   </child>
 645 </widget>
 646
 647 </glade-interface>