← Back to branch summary

~ubuntu-branches/debian/sid/texstudio/sid

« back to all changes in this revision

Viewing changes to configdialog.ui

  • Committer: Package Import Robot
  • Author(s): Tom Jampen
  • Date: 2014-08-18 06:45:11 UTC
  • mfrom: (1.1.7)
  • Revision ID: package-import@ubuntu.com-20140818064511-bqd8ler67yofnt6q
Tags: 2.8.2+debian-1
* Merging upstream version 2.8.2+debian.
* Regenerating 01-use-libhunspell.patch.
* Updating 02-fix-desktop.patch.
* Regenerating 03-disable-auto-update.patch.
* Regenerating 04-no-qt-translations.patch.
* Regenerating 05-use-libsynctex.patch.
* Updating year in copyright file.
* Removing texstudio.svg from install file, fixed upstream.
* Rebuilding upstream tarball without:
  - conflicting debian directory
  - unused hunspell directory
  - unused include_win32 directory
  - unused include_win32_qt5 directory
  - unused qt translations
  - unused dictionary and thesaurus files
  - unused TexTablet directory
  - unused poppler-data directory

Show diffs side-by-side

added added

removed removed

Lines of Context:
configdialog.ui
14
14
   <string>Configure TeXstudio</string>
15
15
  </property>
16
16
  <layout class="QGridLayout">
17
 
   <property name="leftMargin">
18
 
    <number>9</number>
19
 
   </property>
20
 
   <property name="topMargin">
21
 
    <number>9</number>
22
 
   </property>
23
 
   <property name="rightMargin">
24
 
    <number>9</number>
25
 
   </property>
26
 
   <property name="bottomMargin">
27
 
    <number>9</number>
28
 
   </property>
29
17
   <property name="horizontalSpacing">
30
18
    <number>18</number>
31
19
   </property>
32
20
   <property name="verticalSpacing">
33
21
    <number>6</number>
34
22
   </property>
 
23
   <property name="margin">
 
24
    <number>9</number>
 
25
   </property>
35
26
   <item row="0" column="0" rowspan="2">
36
27
    <widget class="QListWidget" name="contentsWidget">
37
28
     <property name="sizePolicy">
68
59
     <property name="sizeConstraint">
69
60
      <enum>QLayout::SetMinimumSize</enum>
70
61
     </property>
71
 
     <property name="leftMargin">
72
 
      <number>0</number>
73
 
     </property>
74
 
     <property name="topMargin">
75
 
      <number>0</number>
76
 
     </property>
77
 
     <property name="rightMargin">
78
 
      <number>0</number>
79
 
     </property>
80
 
     <property name="bottomMargin">
 
62
     <property name="margin">
81
63
      <number>0</number>
82
64
     </property>
83
65
     <item>
140
122
      </size>
141
123
     </property>
142
124
     <property name="currentIndex">
143
 
      <number>12</number>
 
125
      <number>6</number>
144
126
     </property>
145
127
     <widget class="QWidget" name="pageGeneral">
146
128
      <layout class="QVBoxLayout">
147
129
       <property name="spacing">
148
130
        <number>6</number>
149
131
       </property>
150
 
       <property name="leftMargin">
151
 
        <number>0</number>
152
 
       </property>
153
 
       <property name="topMargin">
154
 
        <number>0</number>
155
 
       </property>
156
 
       <property name="rightMargin">
157
 
        <number>0</number>
158
 
       </property>
159
 
       <property name="bottomMargin">
 
132
       <property name="margin">
160
133
        <number>0</number>
161
134
       </property>
162
135
       <item>
172
145
           <rect>
173
146
            <x>0</x>
174
147
            <y>0</y>
175
 
            <width>479</width>
176
 
            <height>550</height>
 
148
            <width>603</width>
 
149
            <height>646</height>
177
150
           </rect>
178
151
          </property>
179
152
          <layout class="QVBoxLayout" name="verticalLayout">
660
633
       <property name="spacing">
661
634
        <number>6</number>
662
635
       </property>
663
 
       <property name="leftMargin">
664
 
        <number>0</number>
665
 
       </property>
666
 
       <property name="topMargin">
667
 
        <number>0</number>
668
 
       </property>
669
 
       <property name="rightMargin">
670
 
        <number>0</number>
671
 
       </property>
672
 
       <property name="bottomMargin">
 
636
       <property name="margin">
673
637
        <number>0</number>
674
638
       </property>
675
639
       <item>
745
709
       <property name="spacing">
746
710
        <number>6</number>
747
711
       </property>
748
 
       <property name="leftMargin">
749
 
        <number>0</number>
750
 
       </property>
751
 
       <property name="topMargin">
752
 
        <number>0</number>
753
 
       </property>
754
 
       <property name="rightMargin">
755
 
        <number>0</number>
756
 
       </property>
757
 
       <property name="bottomMargin">
 
712
       <property name="margin">
758
713
        <number>0</number>
759
714
       </property>
760
715
       <item>
902
857
              <rect>
903
858
               <x>0</x>
904
859
               <y>0</y>
905
 
               <width>193</width>
906
 
               <height>76</height>
 
860
               <width>210</width>
 
861
               <height>103</height>
907
862
              </rect>
908
863
             </property>
909
864
             <layout class="QGridLayout" name="gridLayout_1">
1021
976
     </widget>
1022
977
     <widget class="QWidget" name="pageShortcuts">
1023
978
      <layout class="QVBoxLayout">
1024
 
       <property name="leftMargin">
1025
 
        <number>0</number>
1026
 
       </property>
1027
 
       <property name="topMargin">
1028
 
        <number>0</number>
1029
 
       </property>
1030
 
       <property name="rightMargin">
1031
 
        <number>0</number>
1032
 
       </property>
1033
 
       <property name="bottomMargin">
 
979
       <property name="margin">
1034
980
        <number>0</number>
1035
981
       </property>
1036
982
       <item>
1091
1037
     </widget>
1092
1038
     <widget class="QWidget" name="pageLatexMenus">
1093
1039
      <layout class="QVBoxLayout">
1094
 
       <property name="leftMargin">
1095
 
        <number>0</number>
1096
 
       </property>
1097
 
       <property name="topMargin">
1098
 
        <number>0</number>
1099
 
       </property>
1100
 
       <property name="rightMargin">
1101
 
        <number>0</number>
1102
 
       </property>
1103
 
       <property name="bottomMargin">
 
1040
       <property name="margin">
1104
1041
        <number>0</number>
1105
1042
       </property>
1106
1043
       <item>
1149
1086
     </widget>
1150
1087
     <widget class="QWidget" name="pageToolbars">
1151
1088
      <layout class="QVBoxLayout">
1152
 
       <property name="leftMargin">
1153
 
        <number>0</number>
1154
 
       </property>
1155
 
       <property name="topMargin">
1156
 
        <number>0</number>
1157
 
       </property>
1158
 
       <property name="rightMargin">
1159
 
        <number>0</number>
1160
 
       </property>
1161
 
       <property name="bottomMargin">
 
1089
       <property name="margin">
1162
1090
        <number>0</number>
1163
1091
       </property>
1164
1092
       <item>
1259
1187
     </widget>
1260
1188
     <widget class="QWidget" name="pageEditor">
1261
1189
      <layout class="QGridLayout">
1262
 
       <property name="leftMargin">
1263
 
        <number>0</number>
1264
 
       </property>
1265
 
       <property name="topMargin">
1266
 
        <number>0</number>
1267
 
       </property>
1268
 
       <property name="rightMargin">
1269
 
        <number>0</number>
1270
 
       </property>
1271
 
       <property name="bottomMargin">
 
1190
       <property name="margin">
1272
1191
        <number>0</number>
1273
1192
       </property>
1274
1193
       <property name="spacing">
1293
1212
          <string>Editor</string>
1294
1213
         </property>
1295
1214
         <layout class="QGridLayout">
 
1215
          <item row="0" column="0">
 
1216
           <widget class="QLabel" name="labelFamily">
 
1217
            <property name="text">
 
1218
             <string>Font Family:</string>
 
1219
            </property>
 
1220
           </widget>
 
1221
          </item>
1296
1222
          <item row="9" column="0">
1297
1223
           <widget class="QLabel" name="label_39">
1298
1224
            <property name="text">
1329
1255
            </property>
1330
1256
           </widget>
1331
1257
          </item>
1332
 
          <item row="12" column="0" colspan="3">
 
1258
          <item row="13" column="0" colspan="3">
1333
1259
           <widget class="QCheckBox" name="checkBoxAutoLoad">
1334
1260
            <property name="text">
1335
1261
             <string>Automatically load included files</string>
1353
1279
            </property>
1354
1280
           </widget>
1355
1281
          </item>
1356
 
          <item row="0" column="0">
1357
 
           <widget class="QLabel" name="labelFamily">
1358
 
            <property name="text">
1359
 
             <string>Font Family:</string>
1360
 
            </property>
1361
 
           </widget>
1362
 
          </item>
1363
1282
          <item row="11" column="2" colspan="3">
1364
1283
           <widget class="QCheckBox" name="checkBoxHideGrammarErrorsInNonText">
1365
1284
            <property name="text">
1597
1516
            </property>
1598
1517
           </widget>
1599
1518
          </item>
 
1519
          <item row="12" column="0" colspan="2">
 
1520
           <widget class="QCheckBox" name="checkBoxInlineCheckNonTeXFiles">
 
1521
            <property name="text">
 
1522
             <string>Check non tex files</string>
 
1523
            </property>
 
1524
            <property name="advancedOption" stdset="0">
 
1525
             <bool>true</bool>
 
1526
            </property>
 
1527
           </widget>
 
1528
          </item>
1600
1529
         </layout>
1601
1530
        </widget>
1602
1531
       </item>
1604
1533
     </widget>
1605
1534
     <widget class="QWidget" name="pageAdvEditor">
1606
1535
      <layout class="QVBoxLayout" name="verticalLayout_2">
1607
 
       <property name="leftMargin">
1608
 
        <number>0</number>
1609
 
       </property>
1610
 
       <property name="topMargin">
1611
 
        <number>0</number>
1612
 
       </property>
1613
 
       <property name="rightMargin">
1614
 
        <number>0</number>
1615
 
       </property>
1616
 
       <property name="bottomMargin">
 
1536
       <property name="margin">
1617
1537
        <number>0</number>
1618
1538
       </property>
1619
1539
       <item>
1629
1549
           <rect>
1630
1550
            <x>0</x>
1631
1551
            <y>0</y>
1632
 
            <width>863</width>
1633
 
            <height>1043</height>
 
1552
            <width>895</width>
 
1553
            <height>1253</height>
1634
1554
           </rect>
1635
1555
          </property>
1636
1556
          <layout class="QVBoxLayout" name="verticalLayout_8">
2013
1933
                </property>
2014
1934
               </widget>
2015
1935
              </item>
 
1936
              <item row="15" column="1" colspan="2">
 
1937
               <widget class="QComboBox" name="comboBoxContextMenuSpellcheckingEntryLocation">
 
1938
                <item>
 
1939
                 <property name="text">
 
1940
                  <string>Add Entries Directly To Context  Menu</string>
 
1941
                 </property>
 
1942
                </item>
 
1943
                <item>
 
1944
                 <property name="text">
 
1945
                  <string>Create Dedicated Submenu</string>
 
1946
                 </property>
 
1947
                </item>
 
1948
               </widget>
 
1949
              </item>
 
1950
              <item row="15" column="0">
 
1951
               <widget class="QLabel" name="label_70">
 
1952
                <property name="text">
 
1953
                 <string>Spellchecking via context menu:</string>
 
1954
                </property>
 
1955
               </widget>
 
1956
              </item>
2016
1957
             </layout>
2017
1958
            </widget>
2018
1959
           </item>
2284
2225
     </widget>
2285
2226
     <widget class="QWidget" name="pageSyntaxHighlighting">
2286
2227
      <layout class="QVBoxLayout" name="verticalLayout_7">
2287
 
       <property name="leftMargin">
2288
 
        <number>0</number>
2289
 
       </property>
2290
 
       <property name="topMargin">
2291
 
        <number>0</number>
2292
 
       </property>
2293
 
       <property name="rightMargin">
2294
 
        <number>0</number>
2295
 
       </property>
2296
 
       <property name="bottomMargin">
 
2228
       <property name="margin">
2297
2229
        <number>0</number>
2298
2230
       </property>
2299
2231
       <item>
2325
2257
     </widget>
2326
2258
     <widget class="QWidget" name="pageCustomHighlighting">
2327
2259
      <layout class="QVBoxLayout">
2328
 
       <property name="leftMargin">
2329
 
        <number>0</number>
2330
 
       </property>
2331
 
       <property name="topMargin">
2332
 
        <number>0</number>
2333
 
       </property>
2334
 
       <property name="rightMargin">
2335
 
        <number>0</number>
2336
 
       </property>
2337
 
       <property name="bottomMargin">
 
2260
       <property name="margin">
2338
2261
        <number>0</number>
2339
2262
       </property>
2340
2263
       <item>
2443
2366
     </widget>
2444
2367
     <widget class="QWidget" name="pageCompletion">
2445
2368
      <layout class="QVBoxLayout" name="verticalLayout_4">
2446
 
       <property name="leftMargin">
2447
 
        <number>0</number>
2448
 
       </property>
2449
 
       <property name="topMargin">
2450
 
        <number>0</number>
2451
 
       </property>
2452
 
       <property name="rightMargin">
2453
 
        <number>0</number>
2454
 
       </property>
2455
 
       <property name="bottomMargin">
 
2369
       <property name="margin">
2456
2370
        <number>0</number>
2457
2371
       </property>
2458
2372
       <item>
2727
2641
     </widget>
2728
2642
     <widget class="QWidget" name="pageGrammar">
2729
2643
      <layout class="QVBoxLayout" name="verticalLayout_6">
2730
 
       <property name="leftMargin">
2731
 
        <number>0</number>
2732
 
       </property>
2733
 
       <property name="topMargin">
2734
 
        <number>0</number>
2735
 
       </property>
2736
 
       <property name="rightMargin">
2737
 
        <number>0</number>
2738
 
       </property>
2739
 
       <property name="bottomMargin">
 
2644
       <property name="margin">
2740
2645
        <number>0</number>
2741
2646
       </property>
2742
2647
       <item>
2752
2657
           <rect>
2753
2658
            <x>0</x>
2754
2659
            <y>0</y>
2755
 
            <width>880</width>
2756
 
            <height>617</height>
 
2660
            <width>371</width>
 
2661
            <height>560</height>
2757
2662
           </rect>
2758
2663
          </property>
2759
2664
          <layout class="QVBoxLayout" name="verticalLayout_9">
3093
2998
     </widget>
3094
2999
     <widget class="QWidget" name="pagePreview">
3095
3000
      <layout class="QVBoxLayout" name="verticalLayout_3">
3096
 
       <property name="leftMargin">
3097
 
        <number>0</number>
3098
 
       </property>
3099
 
       <property name="topMargin">
3100
 
        <number>0</number>
3101
 
       </property>
3102
 
       <property name="rightMargin">
3103
 
        <number>0</number>
3104
 
       </property>
3105
 
       <property name="bottomMargin">
 
3001
       <property name="margin">
3106
3002
        <number>0</number>
3107
3003
       </property>
3108
3004
       <item>
3138
3034
              <string>Preview with dvips/ghostscript</string>
3139
3035
             </property>
3140
3036
            </item>
 
3037
            <item>
 
3038
             <property name="text">
 
3039
              <string>Preview with pdflatex</string>
 
3040
             </property>
 
3041
            </item>
3141
3042
           </widget>
3142
3043
          </item>
3143
3044
          <item row="1" column="0">
3180
3081
              <string>Inline</string>
3181
3082
             </property>
3182
3083
            </item>
 
3084
            <item>
 
3085
             <property name="text">
 
3086
              <string extracomment="Only available if pdflatex is used for compilation">Show in embedded viewer</string>
 
3087
             </property>
 
3088
            </item>
3183
3089
           </widget>
3184
3090
          </item>
3185
3091
          <item row="2" column="0">
3572
3478
     </widget>
3573
3479
     <widget class="QWidget" name="pageSVN">
3574
3480
      <layout class="QVBoxLayout">
3575
 
       <property name="leftMargin">
3576
 
        <number>0</number>
3577
 
       </property>
3578
 
       <property name="topMargin">
3579
 
        <number>0</number>
3580
 
       </property>
3581
 
       <property name="rightMargin">
3582
 
        <number>0</number>
3583
 
       </property>
3584
 
       <property name="bottomMargin">
 
3481
       <property name="margin">
3585
3482
        <number>0</number>
3586
3483
       </property>
3587
3484
       <item>