src/Tools/jEdit/src/jEdit.props
author wenzelm
Fri Nov 30 21:30:24 2012 +0100 (2012-11-30)
changeset 50299 f70b3712040f
parent 50147 8d2251b9a200
child 50306 b655d2d0406d
permissions -rw-r--r--
renamed dockable "Prover Session" to "Theories";
more uniform Library.lowercase/uppercase;
wenzelm@34334
     1
#jEdit properties
wenzelm@34702
     2
buffer.deepIndent=false
wenzelm@34702
     3
buffer.encoding=UTF-8-Isabelle
wenzelm@34702
     4
buffer.indentSize=2
wenzelm@34702
     5
buffer.lineSeparator=\n
wenzelm@34702
     6
buffer.maxLineLen=100
wenzelm@34702
     7
buffer.noTabs=true
wenzelm@40791
     8
buffer.sidekick.keystroke-parse=false
wenzelm@34702
     9
buffer.tabSize=2
wenzelm@34880
    10
console.encoding=UTF-8
wenzelm@34880
    11
console.font=IsabelleText
wenzelm@34880
    12
console.fontsize=14
wenzelm@34702
    13
delete-line.shortcut=A+d
wenzelm@34702
    14
delete.shortcut2=C+d
wenzelm@34626
    15
encoding.opt-out.Big5-HKSCS=true
wenzelm@34626
    16
encoding.opt-out.Big5=true
wenzelm@34626
    17
encoding.opt-out.COMPOUND_TEXT=true
wenzelm@34626
    18
encoding.opt-out.EUC-JP=true
wenzelm@34626
    19
encoding.opt-out.EUC-KR=true
wenzelm@34626
    20
encoding.opt-out.GB18030=true
wenzelm@34626
    21
encoding.opt-out.GB2312=true
wenzelm@34626
    22
encoding.opt-out.GBK=true
wenzelm@34626
    23
encoding.opt-out.IBM-Thai=true
wenzelm@34626
    24
encoding.opt-out.IBM00858=true
wenzelm@34626
    25
encoding.opt-out.IBM01140=true
wenzelm@34626
    26
encoding.opt-out.IBM01141=true
wenzelm@34626
    27
encoding.opt-out.IBM01142=true
wenzelm@34626
    28
encoding.opt-out.IBM01143=true
wenzelm@34626
    29
encoding.opt-out.IBM01144=true
wenzelm@34626
    30
encoding.opt-out.IBM01145=true
wenzelm@34626
    31
encoding.opt-out.IBM01146=true
wenzelm@34626
    32
encoding.opt-out.IBM01147=true
wenzelm@34626
    33
encoding.opt-out.IBM01148=true
wenzelm@34626
    34
encoding.opt-out.IBM01149=true
wenzelm@34626
    35
encoding.opt-out.IBM037=true
wenzelm@34626
    36
encoding.opt-out.IBM1026=true
wenzelm@34626
    37
encoding.opt-out.IBM1047=true
wenzelm@34626
    38
encoding.opt-out.IBM273=true
wenzelm@34626
    39
encoding.opt-out.IBM277=true
wenzelm@34626
    40
encoding.opt-out.IBM278=true
wenzelm@34626
    41
encoding.opt-out.IBM280=true
wenzelm@34626
    42
encoding.opt-out.IBM284=true
wenzelm@34626
    43
encoding.opt-out.IBM285=true
wenzelm@34626
    44
encoding.opt-out.IBM297=true
wenzelm@34626
    45
encoding.opt-out.IBM420=true
wenzelm@34626
    46
encoding.opt-out.IBM424=true
wenzelm@34626
    47
encoding.opt-out.IBM437=true
wenzelm@34626
    48
encoding.opt-out.IBM500=true
wenzelm@34626
    49
encoding.opt-out.IBM775=true
wenzelm@34626
    50
encoding.opt-out.IBM850=true
wenzelm@34626
    51
encoding.opt-out.IBM852=true
wenzelm@34626
    52
encoding.opt-out.IBM855=true
wenzelm@34626
    53
encoding.opt-out.IBM857=true
wenzelm@34626
    54
encoding.opt-out.IBM860=true
wenzelm@34626
    55
encoding.opt-out.IBM861=true
wenzelm@34626
    56
encoding.opt-out.IBM862=true
wenzelm@34626
    57
encoding.opt-out.IBM863=true
wenzelm@34626
    58
encoding.opt-out.IBM864=true
wenzelm@34626
    59
encoding.opt-out.IBM865=true
wenzelm@34626
    60
encoding.opt-out.IBM866=true
wenzelm@34626
    61
encoding.opt-out.IBM868=true
wenzelm@34626
    62
encoding.opt-out.IBM869=true
wenzelm@34626
    63
encoding.opt-out.IBM870=true
wenzelm@34626
    64
encoding.opt-out.IBM871=true
wenzelm@34626
    65
encoding.opt-out.IBM918=true
wenzelm@34626
    66
encoding.opt-out.ISO-2022-CN=true
wenzelm@34626
    67
encoding.opt-out.ISO-2022-JP-2=true
wenzelm@34626
    68
encoding.opt-out.ISO-2022-JP=true
wenzelm@34626
    69
encoding.opt-out.ISO-2022-KR=true
wenzelm@34626
    70
encoding.opt-out.ISO-8859-13=true
wenzelm@34626
    71
encoding.opt-out.ISO-8859-2=true
wenzelm@34626
    72
encoding.opt-out.ISO-8859-3=true
wenzelm@34626
    73
encoding.opt-out.ISO-8859-4=true
wenzelm@34626
    74
encoding.opt-out.ISO-8859-5=true
wenzelm@34626
    75
encoding.opt-out.ISO-8859-6=true
wenzelm@34626
    76
encoding.opt-out.ISO-8859-7=true
wenzelm@34626
    77
encoding.opt-out.ISO-8859-8=true
wenzelm@34626
    78
encoding.opt-out.ISO-8859-9=true
wenzelm@34626
    79
encoding.opt-out.JIS_X0201=true
wenzelm@34626
    80
encoding.opt-out.JIS_X0212-1990=true
wenzelm@34626
    81
encoding.opt-out.KOI8-R=true
wenzelm@34626
    82
encoding.opt-out.KOI8-U=true
wenzelm@34626
    83
encoding.opt-out.Shift_JIS=true
wenzelm@34626
    84
encoding.opt-out.TIS-620=true
wenzelm@34626
    85
encoding.opt-out.UTF-16=true
wenzelm@34626
    86
encoding.opt-out.UTF-16BE=true
wenzelm@34626
    87
encoding.opt-out.UTF-16LE=true
wenzelm@34626
    88
encoding.opt-out.UTF-32=true
wenzelm@34626
    89
encoding.opt-out.UTF-32BE=true
wenzelm@34626
    90
encoding.opt-out.UTF-32LE=true
wenzelm@34626
    91
encoding.opt-out.X-UTF-32BE-BOM=true
wenzelm@34626
    92
encoding.opt-out.X-UTF-32LE-BOM=true
wenzelm@34626
    93
encoding.opt-out.windows-1250=true
wenzelm@34626
    94
encoding.opt-out.windows-1251=true
wenzelm@34626
    95
encoding.opt-out.windows-1253=true
wenzelm@34626
    96
encoding.opt-out.windows-1254=true
wenzelm@34626
    97
encoding.opt-out.windows-1255=true
wenzelm@34626
    98
encoding.opt-out.windows-1256=true
wenzelm@34626
    99
encoding.opt-out.windows-1257=true
wenzelm@34626
   100
encoding.opt-out.windows-1258=true
wenzelm@34626
   101
encoding.opt-out.windows-31j=true
wenzelm@34626
   102
encoding.opt-out.x-Big5-Solaris=true
wenzelm@34626
   103
encoding.opt-out.x-EUC-TW=true
wenzelm@34626
   104
encoding.opt-out.x-IBM1006=true
wenzelm@34626
   105
encoding.opt-out.x-IBM1025=true
wenzelm@34626
   106
encoding.opt-out.x-IBM1046=true
wenzelm@34626
   107
encoding.opt-out.x-IBM1097=true
wenzelm@34626
   108
encoding.opt-out.x-IBM1098=true
wenzelm@34626
   109
encoding.opt-out.x-IBM1112=true
wenzelm@34626
   110
encoding.opt-out.x-IBM1122=true
wenzelm@34626
   111
encoding.opt-out.x-IBM1123=true
wenzelm@34626
   112
encoding.opt-out.x-IBM1124=true
wenzelm@34626
   113
encoding.opt-out.x-IBM1381=true
wenzelm@34626
   114
encoding.opt-out.x-IBM1383=true
wenzelm@34626
   115
encoding.opt-out.x-IBM33722=true
wenzelm@34626
   116
encoding.opt-out.x-IBM737=true
wenzelm@34626
   117
encoding.opt-out.x-IBM834=true
wenzelm@34626
   118
encoding.opt-out.x-IBM856=true
wenzelm@34626
   119
encoding.opt-out.x-IBM874=true
wenzelm@34626
   120
encoding.opt-out.x-IBM875=true
wenzelm@34626
   121
encoding.opt-out.x-IBM921=true
wenzelm@34626
   122
encoding.opt-out.x-IBM922=true
wenzelm@34626
   123
encoding.opt-out.x-IBM930=true
wenzelm@34626
   124
encoding.opt-out.x-IBM933=true
wenzelm@34626
   125
encoding.opt-out.x-IBM935=true
wenzelm@34626
   126
encoding.opt-out.x-IBM937=true
wenzelm@34626
   127
encoding.opt-out.x-IBM939=true
wenzelm@34626
   128
encoding.opt-out.x-IBM942=true
wenzelm@34626
   129
encoding.opt-out.x-IBM942C=true
wenzelm@34626
   130
encoding.opt-out.x-IBM943=true
wenzelm@34626
   131
encoding.opt-out.x-IBM943C=true
wenzelm@34626
   132
encoding.opt-out.x-IBM948=true
wenzelm@34626
   133
encoding.opt-out.x-IBM949=true
wenzelm@34626
   134
encoding.opt-out.x-IBM949C=true
wenzelm@34626
   135
encoding.opt-out.x-IBM950=true
wenzelm@34626
   136
encoding.opt-out.x-IBM964=true
wenzelm@34626
   137
encoding.opt-out.x-IBM970=true
wenzelm@34626
   138
encoding.opt-out.x-ISCII91=true
wenzelm@34626
   139
encoding.opt-out.x-ISO-2022-CN-CNS=true
wenzelm@34626
   140
encoding.opt-out.x-ISO-2022-CN-GB=true
wenzelm@34626
   141
encoding.opt-out.x-JIS0208=true
wenzelm@34626
   142
encoding.opt-out.x-JISAutoDetect=true
wenzelm@34626
   143
encoding.opt-out.x-Johab=true
wenzelm@34626
   144
encoding.opt-out.x-MS932_0213=true
wenzelm@34626
   145
encoding.opt-out.x-MS950-HKSCS=true
wenzelm@34626
   146
encoding.opt-out.x-MacArabic=true
wenzelm@34626
   147
encoding.opt-out.x-MacCentralEurope=true
wenzelm@34626
   148
encoding.opt-out.x-MacCroatian=true
wenzelm@34626
   149
encoding.opt-out.x-MacCyrillic=true
wenzelm@34626
   150
encoding.opt-out.x-MacDingbat=true
wenzelm@34626
   151
encoding.opt-out.x-MacGreek=true
wenzelm@34626
   152
encoding.opt-out.x-MacHebrew=true
wenzelm@34626
   153
encoding.opt-out.x-MacIceland=true
wenzelm@34626
   154
encoding.opt-out.x-MacRoman=true
wenzelm@34626
   155
encoding.opt-out.x-MacRomania=true
wenzelm@34626
   156
encoding.opt-out.x-MacSymbol=true
wenzelm@34626
   157
encoding.opt-out.x-MacThai=true
wenzelm@34626
   158
encoding.opt-out.x-MacTurkish=true
wenzelm@34626
   159
encoding.opt-out.x-MacUkraine=true
wenzelm@34626
   160
encoding.opt-out.x-PCK=true
wenzelm@34626
   161
encoding.opt-out.x-SJIS_0213=true
wenzelm@34626
   162
encoding.opt-out.x-UTF-16LE-BOM=true
wenzelm@34626
   163
encoding.opt-out.x-euc-jp-linux=true
wenzelm@34626
   164
encoding.opt-out.x-eucJP-Open=true
wenzelm@34626
   165
encoding.opt-out.x-iso-8859-11=true
wenzelm@34626
   166
encoding.opt-out.x-mswin-936=true
wenzelm@34626
   167
encoding.opt-out.x-windows-50220=true
wenzelm@34626
   168
encoding.opt-out.x-windows-50221=true
wenzelm@34626
   169
encoding.opt-out.x-windows-874=true
wenzelm@34626
   170
encoding.opt-out.x-windows-949=true
wenzelm@34626
   171
encoding.opt-out.x-windows-950=true
wenzelm@34626
   172
encoding.opt-out.x-windows-iso2022jp=true
wenzelm@34702
   173
encodingDetectors=BOM XML-PI buffer-local-property
wenzelm@37190
   174
end.shortcut=
wenzelm@34619
   175
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
immler@34512
   176
firstTime=false
wenzelm@37190
   177
home.shortcut=
wenzelm@37190
   178
insert-newline-indent.shortcut=
wenzelm@37190
   179
insert-newline.shortcut=ENTER
wenzelm@34880
   180
isabelle-output.dock-position=bottom
wenzelm@39815
   181
isabelle-output.height=174
wenzelm@39815
   182
isabelle-output.width=412
wenzelm@48717
   183
isabelle-readme.dock-position=bottom
wenzelm@50299
   184
isabelle-theories.dock-position=bottom
wenzelm@50147
   185
isabelle-symbols.dock-position=bottom
wenzelm@37190
   186
line-end.shortcut=END
wenzelm@37190
   187
line-home.shortcut=HOME
wenzelm@38261
   188
lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
wenzelm@37162
   189
print.font=IsabelleText
wenzelm@41631
   190
restore.remote=false
wenzelm@41631
   191
restore=false
wenzelm@34702
   192
sidekick-tree.dock-position=right
wenzelm@47590
   193
sidekick.auto-complete-popup-get-focus=true
wenzelm@34702
   194
sidekick.buffer-save-parse=true
wenzelm@34702
   195
sidekick.complete-delay=300
wenzelm@47590
   196
sidekick.complete-instant.toggle=false
wenzelm@47590
   197
sidekick.complete-popup.accept-characters=\\n\\t
wenzelm@47590
   198
sidekick.complete-popup.insert-characters=
wenzelm@34880
   199
sidekick.splitter.location=721
immler@34512
   200
tip.show=false
wenzelm@36792
   201
twoStageSave=false
wenzelm@34334
   202
view.antiAlias=standard
wenzelm@34334
   203
view.blockCaret=true
wenzelm@34334
   204
view.caretBlink=false
wenzelm@34334
   205
view.eolMarkers=false
wenzelm@34334
   206
view.extendedState=0
wenzelm@34753
   207
view.font=IsabelleText
wenzelm@34334
   208
view.fontsize=18
wenzelm@34725
   209
view.fracFontMetrics=false
wenzelm@34334
   210
view.gutter.fontsize=12
wenzelm@39176
   211
view.gutter.selectionAreaWidth=18
wenzelm@34880
   212
view.height=787
wenzelm@34334
   213
view.middleMousePaste=true
wenzelm@34334
   214
view.showToolbar=false
wenzelm@41631
   215
view.thickCaret=true
wenzelm@34880
   216
view.width=1072