starmath/uiconfig/smath/ui/symdefinedialog.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.18.3 -->
   3 <interface>
   4   <requires lib="gtk+" version="3.0"/>
   5   <requires lib="LibreOffice" version="1.0"/>
   6   <object class="GtkDialog" id="EditSymbols">
   7     <property name="can_focus">False</property>
   8     <property name="border_width">6</property>
   9     <property name="title" translatable="yes">Edit Symbols</property>
  10     <property name="modal">True</property>
  11     <property name="type_hint">dialog</property>
  12     <child internal-child="vbox">
  13       <object class="GtkBox" id="dialog-vbox1">
  14         <property name="can_focus">False</property>
  15         <property name="spacing">12</property>
  16         <child>
  17           <object class="GtkBox" id="box1">
  18             <property name="visible">True</property>
  19             <property name="can_focus">False</property>
  20             <property name="hexpand">True</property>
  21             <property name="vexpand">True</property>
  22             <property name="orientation">vertical</property>
  23             <property name="spacing">12</property>
  24             <child>
  25               <object class="GtkGrid" id="grid1">
  26                 <property name="visible">True</property>
  27                 <property name="can_focus">False</property>
  28                 <property name="column_spacing">18</property>
  29                 <child>
  30                   <object class="GtkGrid" id="grid4">
  31                     <property name="visible">True</property>
  32                     <property name="can_focus">False</property>
  33                     <property name="hexpand">True</property>
  34                     <property name="orientation">vertical</property>
  35                     <property name="column_spacing">12</property>
  36                     <child>
  37                       <object class="GtkLabel" id="oldSymbolSetText">
  38                         <property name="visible">True</property>
  39                         <property name="can_focus">False</property>
  40                         <property name="xalign">0</property>
  41                         <property name="label" translatable="yes">O_ld symbol set:</property>
  42                         <property name="use_underline">True</property>
  43                         <property name="mnemonic_widget">oldSymbolSets</property>
  44                       </object>
  45                       <packing>
  46                         <property name="left_attach">0</property>
  47                         <property name="top_attach">0</property>
  48                       </packing>
  49                     </child>
  50                     <child>
  51                       <object class="GtkComboBox" id="oldSymbolSets">
  52                         <property name="visible">True</property>
  53                         <property name="can_focus">False</property>
  54                         <property name="hexpand">True</property>
  55                         <property name="has_entry">True</property>
  56                         <child internal-child="entry">
  57                           <object class="GtkEntry" id="combobox-entry1">
  58                             <property name="can_focus">True</property>
  59                           </object>
  60                         </child>
  61                       </object>
  62                       <packing>
  63                         <property name="left_attach">1</property>
  64                         <property name="top_attach">0</property>
  65                       </packing>
  66                     </child>
  67                   </object>
  68                   <packing>
  69                     <property name="left_attach">1</property>
  70                     <property name="top_attach">0</property>
  71                   </packing>
  72                 </child>
  73                 <child>
  74                   <object class="GtkGrid" id="grid5">
  75                     <property name="visible">True</property>
  76                     <property name="can_focus">False</property>
  77                     <property name="hexpand">True</property>
  78                     <property name="orientation">vertical</property>
  79                     <property name="column_spacing">12</property>
  80                     <child>
  81                       <object class="GtkLabel" id="oldSymbolText">
  82                         <property name="visible">True</property>
  83                         <property name="can_focus">False</property>
  84                         <property name="margin_top">6</property>
  85                         <property name="xalign">0</property>
  86                         <property name="label" translatable="yes">_Old symbol:</property>
  87                         <property name="use_underline">True</property>
  88                         <property name="mnemonic_widget">oldSymbols</property>
  89                       </object>
  90                       <packing>
  91                         <property name="left_attach">0</property>
  92                         <property name="top_attach">0</property>
  93                       </packing>
  94                     </child>
  95                     <child>
  96                       <object class="GtkComboBox" id="oldSymbols">
  97                         <property name="visible">True</property>
  98                         <property name="can_focus">False</property>
  99                         <property name="hexpand">True</property>
 100                         <property name="has_entry">True</property>
 101                         <child internal-child="entry">
 102                           <object class="GtkEntry" id="combobox-entry5">
 103                             <property name="can_focus">True</property>
 104                           </object>
 105                         </child>
 106                       </object>
 107                       <packing>
 108                         <property name="left_attach">1</property>
 109                         <property name="top_attach">0</property>
 110                       </packing>
 111                     </child>
 112                   </object>
 113                   <packing>
 114                     <property name="left_attach">0</property>
 115                     <property name="top_attach">0</property>
 116                   </packing>
 117                 </child>
 118               </object>
 119               <packing>
 120                 <property name="expand">False</property>
 121                 <property name="fill">True</property>
 122                 <property name="position">0</property>
 123               </packing>
 124             </child>
 125             <child>
 126               <object class="svxlo-SvxShowCharSet" id="charsetDisplay">
 127                 <property name="width_request">250</property>
 128                 <property name="height_request">250</property>
 129                 <property name="visible">True</property>
 130                 <property name="can_focus">True</property>
 131                 <property name="hexpand">True</property>
 132                 <property name="vexpand">True</property>
 133               </object>
 134               <packing>
 135                 <property name="expand">False</property>
 136                 <property name="fill">True</property>
 137                 <property name="position">1</property>
 138               </packing>
 139             </child>
 140             <child>
 141               <object class="GtkGrid" id="grid2">
 142                 <property name="visible">True</property>
 143                 <property name="can_focus">False</property>
 144                 <property name="column_spacing">18</property>
 145                 <child>
 146                   <object class="GtkGrid" id="grid3">
 147                     <property name="visible">True</property>
 148                     <property name="can_focus">False</property>
 149                     <property name="hexpand">True</property>
 150                     <property name="row_spacing">6</property>
 151                     <property name="column_spacing">12</property>
 152                     <child>
 153                       <object class="GtkLabel" id="symbolText">
 154                         <property name="visible">True</property>
 155                         <property name="can_focus">False</property>
 156                         <property name="xalign">1</property>
 157                         <property name="label" translatable="yes">_Symbol:</property>
 158                         <property name="use_underline">True</property>
 159                         <property name="mnemonic_widget">symbols</property>
 160                       </object>
 161                       <packing>
 162                         <property name="left_attach">0</property>
 163                         <property name="top_attach">0</property>
 164                       </packing>
 165                     </child>
 166                     <child>
 167                       <object class="GtkLabel" id="symbolSetText">
 168                         <property name="visible">True</property>
 169                         <property name="can_focus">False</property>
 170                         <property name="xalign">1</property>
 171                         <property name="label" translatable="yes">Symbol s_et:</property>
 172                         <property name="use_underline">True</property>
 173                         <property name="mnemonic_widget">symbolSets</property>
 174                       </object>
 175                       <packing>
 176                         <property name="left_attach">0</property>
 177                         <property name="top_attach">1</property>
 178                       </packing>
 179                     </child>
 180                     <child>
 181                       <object class="GtkLabel" id="fontText">
 182                         <property name="visible">True</property>
 183                         <property name="can_focus">False</property>
 184                         <property name="xalign">1</property>
 185                         <property name="label" translatable="yes">_Font:</property>
 186                         <property name="use_underline">True</property>
 187                         <property name="mnemonic_widget">fonts</property>
 188                       </object>
 189                       <packing>
 190                         <property name="left_attach">0</property>
 191                         <property name="top_attach">2</property>
 192                       </packing>
 193                     </child>
 194                     <child>
 195                       <object class="GtkLabel" id="styleText">
 196                         <property name="visible">True</property>
 197                         <property name="can_focus">False</property>
 198                         <property name="xalign">1</property>
 199                         <property name="label" translatable="yes">S_tyle:</property>
 200                         <property name="use_underline">True</property>
 201                         <property name="mnemonic_widget">styles</property>
 202                       </object>
 203                       <packing>
 204                         <property name="left_attach">0</property>
 205                         <property name="top_attach">4</property>
 206                       </packing>
 207                     </child>
 208                     <child>
 209                       <object class="GtkLabel" id="fontsSubsetFT">
 210                         <property name="visible">True</property>
 211                         <property name="can_focus">False</property>
 212                         <property name="xalign">1</property>
 213                         <property name="label" translatable="yes">S_ubset:</property>
 214                         <property name="use_underline">True</property>
 215                         <property name="mnemonic_widget">fontsSubsetLB</property>
 216                       </object>
 217                       <packing>
 218                         <property name="left_attach">0</property>
 219                         <property name="top_attach">3</property>
 220                       </packing>
 221                     </child>
 222                     <child>
 223                       <object class="GtkComboBox" id="fonts">
 224                         <property name="visible">True</property>
 225                         <property name="can_focus">False</property>
 226                         <property name="valign">center</property>
 227                         <property name="hexpand">True</property>
 228                       </object>
 229                       <packing>
 230                         <property name="left_attach">1</property>
 231                         <property name="top_attach">2</property>
 232                       </packing>
 233                     </child>
 234                     <child>
 235                       <object class="GtkComboBox" id="fontsSubsetLB">
 236                         <property name="visible">True</property>
 237                         <property name="can_focus">False</property>
 238                         <property name="valign">center</property>
 239                         <property name="hexpand">True</property>
 240                       </object>
 241                       <packing>
 242                         <property name="left_attach">1</property>
 243                         <property name="top_attach">3</property>
 244                       </packing>
 245                     </child>
 246                     <child>
 247                       <object class="GtkComboBox" id="symbols">
 248                         <property name="visible">True</property>
 249                         <property name="can_focus">False</property>
 250                         <property name="valign">center</property>
 251                         <property name="hexpand">True</property>
 252                         <property name="has_entry">True</property>
 253                         <child internal-child="entry">
 254                           <object class="GtkEntry" id="combobox-entry2">
 255                             <property name="can_focus">False</property>
 256                           </object>
 257                         </child>
 258                       </object>
 259                       <packing>
 260                         <property name="left_attach">1</property>
 261                         <property name="top_attach">0</property>
 262                       </packing>
 263                     </child>
 264                     <child>
 265                       <object class="GtkComboBox" id="symbolSets">
 266                         <property name="visible">True</property>
 267                         <property name="can_focus">False</property>
 268                         <property name="valign">center</property>
 269                         <property name="hexpand">True</property>
 270                         <property name="has_entry">True</property>
 271                         <child internal-child="entry">
 272                           <object class="GtkEntry" id="combobox-entry3">
 273                             <property name="can_focus">False</property>
 274                           </object>
 275                         </child>
 276                       </object>
 277                       <packing>
 278                         <property name="left_attach">1</property>
 279                         <property name="top_attach">1</property>
 280                       </packing>
 281                     </child>
 282                     <child>
 283                       <object class="svtlo-FontStyleBox" id="styles">
 284                         <property name="visible">True</property>
 285                         <property name="can_focus">True</property>
 286                         <property name="valign">center</property>
 287                         <property name="hexpand">True</property>
 288                       </object>
 289                       <packing>
 290                         <property name="left_attach">1</property>
 291                         <property name="top_attach">4</property>
 292                       </packing>
 293                     </child>
 294                   </object>
 295                   <packing>
 296                     <property name="left_attach">0</property>
 297                     <property name="top_attach">0</property>
 298                   </packing>
 299                 </child>
 300                 <child>
 301                   <object class="GtkGrid" id="grid7">
 302                     <property name="visible">True</property>
 303                     <property name="can_focus">False</property>
 304                     <property name="valign">end</property>
 305                     <property name="row_spacing">6</property>
 306                     <property name="column_spacing">12</property>
 307                     <property name="column_homogeneous">True</property>
 308                     <child>
 309                       <object class="GtkLabel" id="oldSymbolName">
 310                         <property name="visible">True</property>
 311                         <property name="can_focus">False</property>
 312                       </object>
 313                       <packing>
 314                         <property name="left_attach">0</property>
 315                         <property name="top_attach">0</property>
 316                       </packing>
 317                     </child>
 318                     <child>
 319                       <object class="smlo-SmShowChar" id="oldSymbolDisplay:border">
 320                         <property name="width_request">60</property>
 321                         <property name="height_request">60</property>
 322                         <property name="visible">True</property>
 323                         <property name="can_focus">False</property>
 324                       </object>
 325                       <packing>
 326                         <property name="left_attach">0</property>
 327                         <property name="top_attach">1</property>
 328                       </packing>
 329                     </child>
 330                     <child>
 331                       <object class="GtkLabel" id="oldSymbolSetName">
 332                         <property name="visible">True</property>
 333                         <property name="can_focus">False</property>
 334                       </object>
 335                       <packing>
 336                         <property name="left_attach">0</property>
 337                         <property name="top_attach">2</property>
 338                       </packing>
 339                     </child>
 340                     <child>
 341                       <object class="GtkLabel" id="symbolName">
 342                         <property name="visible">True</property>
 343                         <property name="can_focus">False</property>
 344                       </object>
 345                       <packing>
 346                         <property name="left_attach">2</property>
 347                         <property name="top_attach">0</property>
 348                       </packing>
 349                     </child>
 350                     <child>
 351                       <object class="smlo-SmShowChar" id="symbolDisplay:border">
 352                         <property name="width_request">60</property>
 353                         <property name="height_request">60</property>
 354                         <property name="visible">True</property>
 355                         <property name="can_focus">False</property>
 356                       </object>
 357                       <packing>
 358                         <property name="left_attach">2</property>
 359                         <property name="top_attach">1</property>
 360                       </packing>
 361                     </child>
 362                     <child>
 363                       <object class="GtkLabel" id="symbolSetName">
 364                         <property name="visible">True</property>
 365                         <property name="can_focus">False</property>
 366                       </object>
 367                       <packing>
 368                         <property name="left_attach">2</property>
 369                         <property name="top_attach">2</property>
 370                       </packing>
 371                     </child>
 372                     <child>
 373                       <object class="GtkButton" id="delete">
 374                         <property name="label">gtk-delete</property>
 375                         <property name="visible">True</property>
 376                         <property name="can_focus">True</property>
 377                         <property name="receives_default">True</property>
 378                         <property name="use_stock">True</property>
 379                       </object>
 380                       <packing>
 381                         <property name="left_attach">0</property>
 382                         <property name="top_attach">3</property>
 383                       </packing>
 384                     </child>
 385                     <child>
 386                       <object class="GtkButton" id="modify">
 387                         <property name="label" translatable="yes">_Modify</property>
 388                         <property name="visible">True</property>
 389                         <property name="can_focus">True</property>
 390                         <property name="receives_default">True</property>
 391                         <property name="use_underline">True</property>
 392                       </object>
 393                       <packing>
 394                         <property name="left_attach">1</property>
 395                         <property name="top_attach">3</property>
 396                       </packing>
 397                     </child>
 398                     <child>
 399                       <object class="GtkButton" id="add">
 400                         <property name="label">gtk-add</property>
 401                         <property name="visible">True</property>
 402                         <property name="can_focus">True</property>
 403                         <property name="receives_default">True</property>
 404                         <property name="use_stock">True</property>
 405                       </object>
 406                       <packing>
 407                         <property name="left_attach">2</property>
 408                         <property name="top_attach">3</property>
 409                       </packing>
 410                     </child>
 411                     <child>
 412                       <object class="GtkImage" id="rightArrow">
 413                         <property name="visible">True</property>
 414                         <property name="can_focus">False</property>
 415                         <property name="halign">center</property>
 416                         <property name="valign">center</property>
 417                         <property name="pixbuf">starmath/res/ar_right.png</property>
 418                       </object>
 419                       <packing>
 420                         <property name="left_attach">1</property>
 421                         <property name="top_attach">1</property>
 422                       </packing>
 423                     </child>
 424                     <child>
 425                       <placeholder/>
 426                     </child>
 427                     <child>
 428                       <placeholder/>
 429                     </child>
 430                   </object>
 431                   <packing>
 432                     <property name="left_attach">1</property>
 433                     <property name="top_attach">0</property>
 434                   </packing>
 435                 </child>
 436               </object>
 437               <packing>
 438                 <property name="expand">True</property>
 439                 <property name="fill">True</property>
 440                 <property name="position">2</property>
 441               </packing>
 442             </child>
 443           </object>
 444           <packing>
 445             <property name="expand">False</property>
 446             <property name="fill">True</property>
 447             <property name="position">0</property>
 448           </packing>
 449         </child>
 450         <child internal-child="action_area">
 451           <object class="GtkButtonBox" id="dialog-action_area1">
 452             <property name="can_focus">False</property>
 453             <property name="orientation">vertical</property>
 454             <property name="layout_style">start</property>
 455             <child>
 456               <object class="GtkButton" id="ok">
 457                 <property name="label">gtk-ok</property>
 458                 <property name="use_action_appearance">False</property>
 459                 <property name="visible">True</property>
 460                 <property name="can_focus">True</property>
 461                 <property name="can_default">True</property>
 462                 <property name="has_default">True</property>
 463                 <property name="receives_default">True</property>
 464                 <property name="use_stock">True</property>
 465                 <property name="image_position">bottom</property>
 466               </object>
 467               <packing>
 468                 <property name="expand">False</property>
 469                 <property name="fill">True</property>
 470                 <property name="position">0</property>
 471               </packing>
 472             </child>
 473             <child>
 474               <object class="GtkButton" id="cancel">
 475                 <property name="label">gtk-cancel</property>
 476                 <property name="use_action_appearance">False</property>
 477                 <property name="visible">True</property>
 478                 <property name="can_focus">True</property>
 479                 <property name="receives_default">True</property>
 480                 <property name="use_stock">True</property>
 481               </object>
 482               <packing>
 483                 <property name="expand">False</property>
 484                 <property name="fill">True</property>
 485                 <property name="position">1</property>
 486               </packing>
 487             </child>
 488             <child>
 489               <object class="GtkButton" id="help">
 490                 <property name="label">gtk-help</property>
 491                 <property name="use_action_appearance">False</property>
 492                 <property name="visible">True</property>
 493                 <property name="can_focus">True</property>
 494                 <property name="receives_default">True</property>
 495                 <property name="use_stock">True</property>
 496               </object>
 497               <packing>
 498                 <property name="expand">False</property>
 499                 <property name="fill">True</property>
 500                 <property name="position">2</property>
 501               </packing>
 502             </child>
 503           </object>
 504           <packing>
 505             <property name="expand">False</property>
 506             <property name="fill">True</property>
 507             <property name="pack_type">end</property>
 508             <property name="position">0</property>
 509           </packing>
 510         </child>
 511       </object>
 512     </child>
 513     <action-widgets>
 514       <action-widget response="0">ok</action-widget>
 515       <action-widget response="0">cancel</action-widget>
 516       <action-widget response="0">help</action-widget>
 517     </action-widgets>
 518   </object>
 519   <object class="GtkSizeGroup" id="sizegroup1">
 520     <property name="mode">vertical</property>
 521     <widgets>
 522       <widget name="fonts"/>
 523       <widget name="fontsSubsetLB"/>
 524       <widget name="symbols"/>
 525       <widget name="symbolSets"/>
 526       <widget name="styles"/>
 527     </widgets>
 528   </object>
 529 </interface>