src/frontends/qt4/ui/FindAndReplaceUi.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <ui version="4.0">
   3  <class>FindAndReplaceUi</class>
   4  <widget class="QWidget" name="FindAndReplaceUi">
   5   <property name="geometry">
   6    <rect>
   7     <x>0</x>
   8     <y>0</y>
   9     <width>327</width>
  10     <height>523</height>
  11    </rect>
  12   </property>
  13   <property name="sizePolicy">
  14    <sizepolicy>
  15     <hsizetype>1</hsizetype>
  16     <vsizetype>7</vsizetype>
  17     <horstretch>0</horstretch>
  18     <verstretch>0</verstretch>
  19    </sizepolicy>
  20   </property>
  21   <property name="minimumSize">
  22    <size>
  23     <width>0</width>
  24     <height>0</height>
  25    </size>
  26   </property>
  27   <property name="maximumSize">
  28    <size>
  29     <width>16777215</width>
  30     <height>16777215</height>
  31    </size>
  32   </property>
  33   <property name="baseSize">
  34    <size>
  35     <width>0</width>
  36     <height>0</height>
  37    </size>
  38   </property>
  39   <property name="windowTitle">
  40    <string>Find LyX Text</string>
  41   </property>
  42   <property name="toolTip">
  43    <string/>
  44   </property>
  45   <layout class="QVBoxLayout" name="verticalLayout">
  46    <item>
  47     <widget class="QScrollArea" name="scrollArea">
  48      <property name="focusPolicy">
  49       <enum>Qt::NoFocus</enum>
  50      </property>
  51      <property name="widgetResizable">
  52       <bool>true</bool>
  53      </property>
  54      <widget class="QWidget" name="scrollAreaWidgetContents">
  55       <property name="geometry">
  56        <rect>
  57         <x>0</x>
  58         <y>0</y>
  59         <width>289</width>
  60         <height>532</height>
  61        </rect>
  62       </property>
  63       <layout class="QGridLayout" name="gridLayout">
  64        <item row="0" column="0">
  65         <widget class="QTabWidget" name="tabWidget">
  66          <property name="sizePolicy">
  67           <sizepolicy>
  68            <hsizetype>7</hsizetype>
  69            <vsizetype>7</vsizetype>
  70            <horstretch>0</horstretch>
  71            <verstretch>0</verstretch>
  72           </sizepolicy>
  73          </property>
  74          <property name="focusPolicy">
  75           <enum>Qt::NoFocus</enum>
  76          </property>
  77          <property name="toolTip">
  78           <string/>
  79          </property>
  80          <property name="statusTip">
  81           <string/>
  82          </property>
  83          <property name="autoFillBackground">
  84           <bool>false</bool>
  85          </property>
  86          <property name="currentIndex">
  87           <number>0</number>
  88          </property>
  89          <widget class="QWidget" name="BasicTab">
  90           <property name="sizePolicy">
  91            <sizepolicy>
  92             <hsizetype>5</hsizetype>
  93             <vsizetype>7</vsizetype>
  94             <horstretch>0</horstretch>
  95             <verstretch>0</verstretch>
  96            </sizepolicy>
  97           </property>
  98           <property name="focusPolicy">
  99            <enum>Qt::NoFocus</enum>
 100           </property>
 101           <property name="toolTip">
 102            <string/>
 103           </property>
 104           <property name="statusTip">
 105            <string/>
 106           </property>
 107           <attribute name="title">
 108            <string>&amp;Basic</string>
 109           </attribute>
 110           <layout class="QGridLayout" name="gridLayout_3">
 111            <item row="2" column="0">
 112             <widget class="QFrame" name="replace_frame">
 113              <property name="sizePolicy">
 114               <sizepolicy>
 115                <hsizetype>7</hsizetype>
 116                <vsizetype>7</vsizetype>
 117                <horstretch>0</horstretch>
 118                <verstretch>0</verstretch>
 119               </sizepolicy>
 120              </property>
 121              <property name="accessibleName">
 122               <string/>
 123              </property>
 124              <property name="frameShape">
 125               <enum>QFrame::Box</enum>
 126              </property>
 127              <property name="frameShadow">
 128               <enum>QFrame::Raised</enum>
 129              </property>
 130              <layout class="QGridLayout" name="gridLayout_7">
 131               <property name="margin">
 132                <number>4</number>
 133               </property>
 134               <property name="spacing">
 135                <number>0</number>
 136               </property>
 137               <item row="1" column="0">
 138                <widget class="QGroupBox" name="groupBox_3">
 139                 <property name="sizePolicy">
 140                  <sizepolicy>
 141                   <hsizetype>7</hsizetype>
 142                   <vsizetype>7</vsizetype>
 143                   <horstretch>0</horstretch>
 144                   <verstretch>0</verstretch>
 145                  </sizepolicy>
 146                 </property>
 147                 <property name="minimumSize">
 148                  <size>
 149                   <width>0</width>
 150                   <height>0</height>
 151                  </size>
 152                 </property>
 153                 <property name="maximumSize">
 154                  <size>
 155                   <width>16777215</width>
 156                   <height>16777215</height>
 157                  </size>
 158                 </property>
 159                 <property name="toolTip">
 160                  <string>Enter the text to replace in this full-featured LyX editing area</string>
 161                 </property>
 162                 <property name="title">
 163                  <string>&amp;Replace with...</string>
 164                 </property>
 165                 <layout class="QGridLayout" name="gridLayout_6">
 166                  <property name="margin">
 167                   <number>4</number>
 168                  </property>
 169                  <item row="0" column="0" colspan="2">
 170                   <widget class="lyx::frontend::EmbeddedWorkArea" name="replace_work_area_">
 171                    <property name="minimumSize">
 172                     <size>
 173                      <width>0</width>
 174                      <height>0</height>
 175                     </size>
 176                    </property>
 177                    <property name="baseSize">
 178                     <size>
 179                      <width>0</width>
 180                      <height>0</height>
 181                     </size>
 182                    </property>
 183                    <property name="toolTip">
 184                     <string>Enter the text to replace in this full-featured LyX editing area</string>
 185                    </property>
 186                    <property name="widgetResizable">
 187                     <bool>true</bool>
 188                    </property>
 189                    <widget class="QWidget" name="replace_scroll_area_">
 190                     <property name="geometry">
 191                      <rect>
 192                       <x>0</x>
 193                       <y>0</y>
 194                       <width>221</width>
 195                       <height>80</height>
 196                      </rect>
 197                     </property>
 198                     <property name="sizePolicy">
 199                      <sizepolicy>
 200                       <hsizetype>7</hsizetype>
 201                       <vsizetype>7</vsizetype>
 202                       <horstretch>0</horstretch>
 203                       <verstretch>0</verstretch>
 204                      </sizepolicy>
 205                     </property>
 206                    </widget>
 207                   </widget>
 208                  </item>
 209                  <item row="2" column="0">
 210                   <widget class="QPushButton" name="replaceNextPB">
 211                    <property name="enabled">
 212                     <bool>true</bool>
 213                    </property>
 214                    <property name="sizePolicy">
 215                     <sizepolicy>
 216                      <hsizetype>7</hsizetype>
 217                      <vsizetype>1</vsizetype>
 218                      <horstretch>1</horstretch>
 219                      <verstretch>0</verstretch>
 220                     </sizepolicy>
 221                    </property>
 222                    <property name="toolTip">
 223                     <string>Find next occurrence and replace it [Enter]</string>
 224                    </property>
 225                    <property name="text">
 226                     <string>Next</string>
 227                    </property>
 228                   </widget>
 229                  </item>
 230                  <item row="2" column="1">
 231                   <widget class="QPushButton" name="replacePrevPB">
 232                    <property name="enabled">
 233                     <bool>true</bool>
 234                    </property>
 235                    <property name="sizePolicy">
 236                     <sizepolicy>
 237                      <hsizetype>7</hsizetype>
 238                      <vsizetype>1</vsizetype>
 239                      <horstretch>1</horstretch>
 240                      <verstretch>0</verstretch>
 241                     </sizepolicy>
 242                    </property>
 243                    <property name="toolTip">
 244                     <string>Find previous occurrence and replace it [Shift+Enter]</string>
 245                    </property>
 246                    <property name="text">
 247                     <string>Prev</string>
 248                    </property>
 249                   </widget>
 250                  </item>
 251                  <item row="3" column="0">
 252                   <widget class="QPushButton" name="replaceallPB">
 253                    <property name="enabled">
 254                     <bool>false</bool>
 255                    </property>
 256                    <property name="sizePolicy">
 257                     <sizepolicy>
 258                      <hsizetype>7</hsizetype>
 259                      <vsizetype>1</vsizetype>
 260                      <horstretch>0</horstretch>
 261                      <verstretch>0</verstretch>
 262                     </sizepolicy>
 263                    </property>
 264                    <property name="text">
 265                     <string>Replace &amp;All</string>
 266                    </property>
 267                   </widget>
 268                  </item>
 269                  <item row="1" column="0" colspan="2">
 270                   <widget class="QCheckBox" name="keepCaseCB">
 271                    <property name="sizePolicy">
 272                     <sizepolicy>
 273                      <hsizetype>7</hsizetype>
 274                      <vsizetype>1</vsizetype>
 275                      <horstretch>1</horstretch>
 276                      <verstretch>0</verstretch>
 277                     </sizepolicy>
 278                    </property>
 279                    <property name="toolTip">
 280                     <string>Keep the case of the replacement's first letter as in each matching text first letter</string>
 281                    </property>
 282                    <property name="text">
 283                     <string>&amp;Keep case</string>
 284                    </property>
 285                   </widget>
 286                  </item>
 287                  <item row="3" column="1">
 288                   <widget class="QPushButton" name="closePB">
 289                    <property name="sizePolicy">
 290                     <sizepolicy>
 291                      <hsizetype>7</hsizetype>
 292                      <vsizetype>1</vsizetype>
 293                      <horstretch>1</horstretch>
 294                      <verstretch>0</verstretch>
 295                     </sizepolicy>
 296                    </property>
 297                    <property name="toolTip">
 298                     <string>Close this panel</string>
 299                    </property>
 300                    <property name="text">
 301                     <string>&amp;Close</string>
 302                    </property>
 303                   </widget>
 304                  </item>
 305                 </layout>
 306                </widget>
 307               </item>
 308              </layout>
 309             </widget>
 310            </item>
 311            <item row="0" column="0">
 312             <widget class="QFrame" name="find_frame">
 313              <property name="sizePolicy">
 314               <sizepolicy>
 315                <hsizetype>7</hsizetype>
 316                <vsizetype>7</vsizetype>
 317                <horstretch>0</horstretch>
 318                <verstretch>0</verstretch>
 319               </sizepolicy>
 320              </property>
 321              <property name="frameShape">
 322               <enum>QFrame::Box</enum>
 323              </property>
 324              <property name="frameShadow">
 325               <enum>QFrame::Raised</enum>
 326              </property>
 327              <layout class="QGridLayout" name="gridLayout_8">
 328               <property name="margin">
 329                <number>4</number>
 330               </property>
 331               <item row="0" column="0">
 332                <widget class="QGroupBox" name="groupBox">
 333                 <property name="sizePolicy">
 334                  <sizepolicy>
 335                   <hsizetype>7</hsizetype>
 336                   <vsizetype>7</vsizetype>
 337                   <horstretch>0</horstretch>
 338                   <verstretch>0</verstretch>
 339                  </sizepolicy>
 340                 </property>
 341                 <property name="minimumSize">
 342                  <size>
 343                   <width>0</width>
 344                   <height>0</height>
 345                  </size>
 346                 </property>
 347                 <property name="maximumSize">
 348                  <size>
 349                   <width>16777215</width>
 350                   <height>16777215</height>
 351                  </size>
 352                 </property>
 353                 <property name="baseSize">
 354                  <size>
 355                   <width>0</width>
 356                   <height>0</height>
 357                  </size>
 358                 </property>
 359                 <property name="toolTip">
 360                  <string>Enter the text to search for in this full-featured LyX editing area</string>
 361                 </property>
 362                 <property name="title">
 363                  <string>&amp;Find...</string>
 364                 </property>
 365                 <layout class="QGridLayout" name="gridLayout_5">
 366                  <property name="margin">
 367                   <number>4</number>
 368                  </property>
 369                  <item row="0" column="0" colspan="2">
 370                   <widget class="lyx::frontend::EmbeddedWorkArea" name="find_work_area_">
 371                    <property name="minimumSize">
 372                     <size>
 373                      <width>0</width>
 374                      <height>0</height>
 375                     </size>
 376                    </property>
 377                    <property name="baseSize">
 378                     <size>
 379                      <width>0</width>
 380                      <height>0</height>
 381                     </size>
 382                    </property>
 383                    <property name="toolTip">
 384                     <string>Enter the text to search for in this full-featured LyX editing area</string>
 385                    </property>
 386                    <property name="widgetResizable">
 387                     <bool>true</bool>
 388                    </property>
 389                    <widget class="QWidget" name="find_scroll_area_">
 390                     <property name="geometry">
 391                      <rect>
 392                       <x>0</x>
 393                       <y>0</y>
 394                       <width>221</width>
 395                       <height>79</height>
 396                      </rect>
 397                     </property>
 398                     <property name="sizePolicy">
 399                      <sizepolicy>
 400                       <hsizetype>7</hsizetype>
 401                       <vsizetype>7</vsizetype>
 402                       <horstretch>0</horstretch>
 403                       <verstretch>0</verstretch>
 404                      </sizepolicy>
 405                     </property>
 406                    </widget>
 407                   </widget>
 408                  </item>
 409                  <item row="1" column="0" colspan="2">
 410                   <widget class="QCheckBox" name="caseCB">
 411                    <property name="sizePolicy">
 412                     <sizepolicy>
 413                      <hsizetype>7</hsizetype>
 414                      <vsizetype>1</vsizetype>
 415                      <horstretch>0</horstretch>
 416                      <verstretch>0</verstretch>
 417                     </sizepolicy>
 418                    </property>
 419                    <property name="toolTip">
 420                     <string>Perform a case-sensitive search</string>
 421                    </property>
 422                    <property name="text">
 423                     <string>Case &amp;sensitive</string>
 424                    </property>
 425                   </widget>
 426                  </item>
 427                  <item row="3" column="0" colspan="2">
 428                   <widget class="QComboBox" name="regexpInsertCombo">
 429                    <property name="enabled">
 430                     <bool>true</bool>
 431                    </property>
 432                    <property name="sizePolicy">
 433                     <sizepolicy>
 434                      <hsizetype>7</hsizetype>
 435                      <vsizetype>1</vsizetype>
 436                      <horstretch>0</horstretch>
 437                      <verstretch>0</verstretch>
 438                     </sizepolicy>
 439                    </property>
 440                    <property name="toolTip">
 441                     <string>Choose one of the pre-arranged regular expressions.</string>
 442                    </property>
 443                    <item>
 444                     <property name="text">
 445                      <string>Match...</string>
 446                     </property>
 447                    </item>
 448                    <item>
 449                     <property name="text">
 450                      <string>Anything</string>
 451                     </property>
 452                    </item>
 453                    <item>
 454                     <property name="text">
 455                      <string>Any non-empty</string>
 456                     </property>
 457                    </item>
 458                    <item>
 459                     <property name="text">
 460                      <string>Any word</string>
 461                     </property>
 462                    </item>
 463                    <item>
 464                     <property name="text">
 465                      <string>Any number</string>
 466                     </property>
 467                    </item>
 468                    <item>
 469                     <property name="text">
 470                      <string>User-defined</string>
 471                     </property>
 472                    </item>
 473                   </widget>
 474                  </item>
 475                  <item row="4" column="0">
 476                   <widget class="QPushButton" name="findNextPB">
 477                    <property name="enabled">
 478                     <bool>true</bool>
 479                    </property>
 480                    <property name="sizePolicy">
 481                     <sizepolicy>
 482                      <hsizetype>7</hsizetype>
 483                      <vsizetype>1</vsizetype>
 484                      <horstretch>0</horstretch>
 485                      <verstretch>0</verstretch>
 486                     </sizepolicy>
 487                    </property>
 488                    <property name="toolTip">
 489                     <string>Find next occurrence [Enter]</string>
 490                    </property>
 491                    <property name="text">
 492                     <string>Next</string>
 493                    </property>
 494                    <property name="default">
 495                     <bool>true</bool>
 496                    </property>
 497                   </widget>
 498                  </item>
 499                  <item row="4" column="1">
 500                   <widget class="QPushButton" name="findPrevPB">
 501                    <property name="enabled">
 502                     <bool>true</bool>
 503                    </property>
 504                    <property name="sizePolicy">
 505                     <sizepolicy>
 506                      <hsizetype>7</hsizetype>
 507                      <vsizetype>1</vsizetype>
 508                      <horstretch>0</horstretch>
 509                      <verstretch>0</verstretch>
 510                     </sizepolicy>
 511                    </property>
 512                    <property name="toolTip">
 513                     <string>Find previous occurrence [Shift+Enter]</string>
 514                    </property>
 515                    <property name="text">
 516                     <string>Prev</string>
 517                    </property>
 518                    <property name="default">
 519                     <bool>true</bool>
 520                    </property>
 521                   </widget>
 522                  </item>
 523                  <item row="2" column="0" colspan="2">
 524                   <widget class="QCheckBox" name="wordsCB">
 525                    <property name="enabled">
 526                     <bool>true</bool>
 527                    </property>
 528                    <property name="sizePolicy">
 529                     <sizepolicy>
 530                      <hsizetype>7</hsizetype>
 531                      <vsizetype>1</vsizetype>
 532                      <horstretch>0</horstretch>
 533                      <verstretch>0</verstretch>
 534                     </sizepolicy>
 535                    </property>
 536                    <property name="toolTip">
 537                     <string>Restrict search to whole words only</string>
 538                    </property>
 539                    <property name="text">
 540                     <string>Whole &amp;words</string>
 541                    </property>
 542                   </widget>
 543                  </item>
 544                 </layout>
 545                </widget>
 546               </item>
 547              </layout>
 548             </widget>
 549            </item>
 550           </layout>
 551          </widget>
 552          <widget class="QWidget" name="AdvancedTab">
 553           <property name="sizePolicy">
 554            <sizepolicy>
 555             <hsizetype>7</hsizetype>
 556             <vsizetype>7</vsizetype>
 557             <horstretch>0</horstretch>
 558             <verstretch>0</verstretch>
 559            </sizepolicy>
 560           </property>
 561           <property name="toolTip">
 562            <string/>
 563           </property>
 564           <property name="statusTip">
 565            <string/>
 566           </property>
 567           <attribute name="title">
 568            <string>Ad&amp;vanced</string>
 569           </attribute>
 570           <layout class="QHBoxLayout" name="horizontalLayout">
 571            <item>
 572             <layout class="QGridLayout" name="gridLayout_2">
 573              <property name="sizeConstraint">
 574               <enum>QLayout::SetDefaultConstraint</enum>
 575              </property>
 576              <item row="0" column="0">
 577               <widget class="QGroupBox" name="groupBox_2">
 578                <property name="enabled">
 579                 <bool>true</bool>
 580                </property>
 581                <property name="sizePolicy">
 582                 <sizepolicy>
 583                  <hsizetype>7</hsizetype>
 584                  <vsizetype>1</vsizetype>
 585                  <horstretch>0</horstretch>
 586                  <verstretch>0</verstretch>
 587                 </sizepolicy>
 588                </property>
 589                <property name="minimumSize">
 590                 <size>
 591                  <width>0</width>
 592                  <height>0</height>
 593                 </size>
 594                </property>
 595                <property name="toolTip">
 596                 <string>Restrict the search horizon to:</string>
 597                </property>
 598                <property name="autoFillBackground">
 599                 <bool>false</bool>
 600                </property>
 601                <property name="title">
 602                 <string>Sco&amp;pe</string>
 603                </property>
 604                <property name="flat">
 605                 <bool>false</bool>
 606                </property>
 607                <layout class="QGridLayout" name="gridLayout_4">
 608                 <property name="margin">
 609                  <number>3</number>
 610                 </property>
 611                 <property name="spacing">
 612                  <number>0</number>
 613                 </property>
 614                 <item row="0" column="0">
 615                  <widget class="QRadioButton" name="CurrentParagraph">
 616                   <property name="enabled">
 617                    <bool>false</bool>
 618                   </property>
 619                   <property name="sizePolicy">
 620                    <sizepolicy>
 621                     <hsizetype>1</hsizetype>
 622                     <vsizetype>1</vsizetype>
 623                     <horstretch>0</horstretch>
 624                     <verstretch>0</verstretch>
 625                    </sizepolicy>
 626                   </property>
 627                   <property name="toolTip">
 628                    <string>Current paragraph</string>
 629                   </property>
 630                   <property name="text">
 631                    <string>Current &amp;Paragraph</string>
 632                   </property>
 633                   <property name="checked">
 634                    <bool>false</bool>
 635                   </property>
 636                  </widget>
 637                 </item>
 638                 <item row="1" column="0">
 639                  <widget class="QRadioButton" name="CurrentDocument">
 640                   <property name="enabled">
 641                    <bool>true</bool>
 642                   </property>
 643                   <property name="sizePolicy">
 644                    <sizepolicy>
 645                     <hsizetype>1</hsizetype>
 646                     <vsizetype>1</vsizetype>
 647                     <horstretch>0</horstretch>
 648                     <verstretch>0</verstretch>
 649                    </sizepolicy>
 650                   </property>
 651                   <property name="toolTip">
 652                    <string>Document in current file</string>
 653                   </property>
 654                   <property name="text">
 655                    <string>Current &amp;Document</string>
 656                   </property>
 657                   <property name="checked">
 658                    <bool>true</bool>
 659                   </property>
 660                  </widget>
 661                 </item>
 662                 <item row="2" column="0">
 663                  <widget class="QRadioButton" name="MasterDocument">
 664                   <property name="enabled">
 665                    <bool>true</bool>
 666                   </property>
 667                   <property name="sizePolicy">
 668                    <sizepolicy>
 669                     <hsizetype>1</hsizetype>
 670                     <vsizetype>1</vsizetype>
 671                     <horstretch>0</horstretch>
 672                     <verstretch>0</verstretch>
 673                    </sizepolicy>
 674                   </property>
 675                   <property name="toolTip">
 676                    <string>Current file and all other files belonging to the same Master Document</string>
 677                   </property>
 678                   <property name="text">
 679                    <string>&amp;Master Document</string>
 680                   </property>
 681                  </widget>
 682                 </item>
 683                 <item row="3" column="0">
 684                  <widget class="QRadioButton" name="OpenDocuments">
 685                   <property name="enabled">
 686                    <bool>true</bool>
 687                   </property>
 688                   <property name="sizePolicy">
 689                    <sizepolicy>
 690                     <hsizetype>1</hsizetype>
 691                     <vsizetype>1</vsizetype>
 692                     <horstretch>0</horstretch>
 693                     <verstretch>0</verstretch>
 694                    </sizepolicy>
 695                   </property>
 696                   <property name="toolTip">
 697                    <string>All open documents</string>
 698                   </property>
 699                   <property name="text">
 700                    <string>&amp;Open Documents</string>
 701                   </property>
 702                  </widget>
 703                 </item>
 704                 <item row="4" column="0">
 705                  <widget class="QRadioButton" name="AllManualsRB">
 706                   <property name="enabled">
 707                    <bool>true</bool>
 708                   </property>
 709                   <property name="sizePolicy">
 710                    <sizepolicy>
 711                     <hsizetype>1</hsizetype>
 712                     <vsizetype>1</vsizetype>
 713                     <horstretch>0</horstretch>
 714                     <verstretch>0</verstretch>
 715                    </sizepolicy>
 716                   </property>
 717                   <property name="text">
 718                    <string>All Ma&amp;nuals</string>
 719                   </property>
 720                  </widget>
 721                 </item>
 722                </layout>
 723               </widget>
 724              </item>
 725              <item row="2" column="0">
 726               <widget class="QCheckBox" name="expandMacrosCB">
 727                <property name="enabled">
 728                 <bool>false</bool>
 729                </property>
 730                <property name="sizePolicy">
 731                 <sizepolicy>
 732                  <hsizetype>7</hsizetype>
 733                  <vsizetype>1</vsizetype>
 734                  <horstretch>0</horstretch>
 735                  <verstretch>0</verstretch>
 736                 </sizepolicy>
 737                </property>
 738                <property name="text">
 739                 <string>&amp;Expand macros</string>
 740                </property>
 741               </widget>
 742              </item>
 743              <item row="1" column="0">
 744               <widget class="QCheckBox" name="ignoreFormatCB">
 745                <property name="enabled">
 746                 <bool>true</bool>
 747                </property>
 748                <property name="sizePolicy">
 749                 <sizepolicy>
 750                  <hsizetype>7</hsizetype>
 751                  <vsizetype>1</vsizetype>
 752                  <horstretch>0</horstretch>
 753                  <verstretch>0</verstretch>
 754                 </sizepolicy>
 755                </property>
 756                <property name="text">
 757                 <string>Ignore &amp;Format</string>
 758                </property>
 759                <property name="checked">
 760                 <bool>true</bool>
 761                </property>
 762               </widget>
 763              </item>
 764              <item row="3" column="0">
 765               <spacer name="verticalSpacer">
 766                <property name="orientation">
 767                 <enum>Qt::Vertical</enum>
 768                </property>
 769                <property name="sizeHint" stdset="0">
 770                 <size>
 771                  <width>0</width>
 772                  <height>0</height>
 773                 </size>
 774                </property>
 775               </spacer>
 776              </item>
 777             </layout>
 778            </item>
 779           </layout>
 780          </widget>
 781         </widget>
 782        </item>
 783       </layout>
 784      </widget>
 785     </widget>
 786    </item>
 787   </layout>
 788  </widget>
 789  <customwidgets>
 790   <customwidget>
 791    <class>lyx::frontend::EmbeddedWorkArea</class>
 792    <extends>QScrollArea</extends>
 793    <header location="global">GuiWorkArea.h</header>
 794    <container>1</container>
 795   </customwidget>
 796  </customwidgets>
 797  <includes>
 798   <include location="local">qt_helpers.h</include>
 799  </includes>
 800  <resources/>
 801  <connections/>
 802 </ui>