src/Tools/jEdit/src/jEdit.props
author wenzelm
Mon Jan 09 20:26:59 2017 +0100 (2017-01-09)
changeset 64854 f5aa712e6250
parent 63760 b1088b1e3b7e
child 66036 b6396880b644
permissions -rw-r--r--
tuned signature;
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@58779
    10
buffer.undoCount=1000
wenzelm@53188
    11
close-docking-area.shortcut2=C+e C+CIRCUMFLEX
wenzelm@54318
    12
complete-word.shortcut=
wenzelm@50796
    13
console.dock-position=floating
wenzelm@34880
    14
console.encoding=UTF-8
wenzelm@34880
    15
console.font=IsabelleText
wenzelm@34880
    16
console.fontsize=14
wenzelm@34702
    17
delete-line.shortcut=A+d
wenzelm@34702
    18
delete.shortcut2=C+d
wenzelm@34626
    19
encoding.opt-out.Big5-HKSCS=true
wenzelm@34626
    20
encoding.opt-out.Big5=true
wenzelm@34626
    21
encoding.opt-out.COMPOUND_TEXT=true
wenzelm@34626
    22
encoding.opt-out.EUC-JP=true
wenzelm@34626
    23
encoding.opt-out.EUC-KR=true
wenzelm@60877
    24
encoding.opt-out.GB2312=true
wenzelm@34626
    25
encoding.opt-out.GB18030=true
wenzelm@34626
    26
encoding.opt-out.GBK=true
wenzelm@34626
    27
encoding.opt-out.IBM-Thai=true
wenzelm@34626
    28
encoding.opt-out.IBM00858=true
wenzelm@60877
    29
encoding.opt-out.IBM037=true
wenzelm@34626
    30
encoding.opt-out.IBM01140=true
wenzelm@34626
    31
encoding.opt-out.IBM01141=true
wenzelm@34626
    32
encoding.opt-out.IBM01142=true
wenzelm@34626
    33
encoding.opt-out.IBM01143=true
wenzelm@34626
    34
encoding.opt-out.IBM01144=true
wenzelm@34626
    35
encoding.opt-out.IBM01145=true
wenzelm@34626
    36
encoding.opt-out.IBM01146=true
wenzelm@34626
    37
encoding.opt-out.IBM01147=true
wenzelm@34626
    38
encoding.opt-out.IBM01148=true
wenzelm@34626
    39
encoding.opt-out.IBM01149=true
wenzelm@34626
    40
encoding.opt-out.IBM273=true
wenzelm@34626
    41
encoding.opt-out.IBM277=true
wenzelm@34626
    42
encoding.opt-out.IBM278=true
wenzelm@34626
    43
encoding.opt-out.IBM280=true
wenzelm@34626
    44
encoding.opt-out.IBM284=true
wenzelm@34626
    45
encoding.opt-out.IBM285=true
wenzelm@34626
    46
encoding.opt-out.IBM297=true
wenzelm@34626
    47
encoding.opt-out.IBM420=true
wenzelm@34626
    48
encoding.opt-out.IBM424=true
wenzelm@34626
    49
encoding.opt-out.IBM437=true
wenzelm@34626
    50
encoding.opt-out.IBM500=true
wenzelm@34626
    51
encoding.opt-out.IBM775=true
wenzelm@34626
    52
encoding.opt-out.IBM850=true
wenzelm@34626
    53
encoding.opt-out.IBM852=true
wenzelm@34626
    54
encoding.opt-out.IBM855=true
wenzelm@34626
    55
encoding.opt-out.IBM857=true
wenzelm@34626
    56
encoding.opt-out.IBM860=true
wenzelm@34626
    57
encoding.opt-out.IBM861=true
wenzelm@34626
    58
encoding.opt-out.IBM862=true
wenzelm@34626
    59
encoding.opt-out.IBM863=true
wenzelm@34626
    60
encoding.opt-out.IBM864=true
wenzelm@34626
    61
encoding.opt-out.IBM865=true
wenzelm@34626
    62
encoding.opt-out.IBM866=true
wenzelm@34626
    63
encoding.opt-out.IBM868=true
wenzelm@34626
    64
encoding.opt-out.IBM869=true
wenzelm@34626
    65
encoding.opt-out.IBM870=true
wenzelm@34626
    66
encoding.opt-out.IBM871=true
wenzelm@34626
    67
encoding.opt-out.IBM918=true
wenzelm@60877
    68
encoding.opt-out.IBM1026=true
wenzelm@60877
    69
encoding.opt-out.IBM1047=true
wenzelm@34626
    70
encoding.opt-out.ISO-2022-CN=true
wenzelm@34626
    71
encoding.opt-out.ISO-2022-JP-2=true
wenzelm@34626
    72
encoding.opt-out.ISO-2022-JP=true
wenzelm@34626
    73
encoding.opt-out.ISO-2022-KR=true
wenzelm@34626
    74
encoding.opt-out.ISO-8859-2=true
wenzelm@34626
    75
encoding.opt-out.ISO-8859-3=true
wenzelm@34626
    76
encoding.opt-out.ISO-8859-4=true
wenzelm@34626
    77
encoding.opt-out.ISO-8859-5=true
wenzelm@34626
    78
encoding.opt-out.ISO-8859-6=true
wenzelm@34626
    79
encoding.opt-out.ISO-8859-7=true
wenzelm@34626
    80
encoding.opt-out.ISO-8859-8=true
wenzelm@34626
    81
encoding.opt-out.ISO-8859-9=true
wenzelm@60877
    82
encoding.opt-out.ISO-8859-13=true
wenzelm@34626
    83
encoding.opt-out.JIS_X0201=true
wenzelm@34626
    84
encoding.opt-out.JIS_X0212-1990=true
wenzelm@34626
    85
encoding.opt-out.KOI8-R=true
wenzelm@34626
    86
encoding.opt-out.KOI8-U=true
wenzelm@34626
    87
encoding.opt-out.Shift_JIS=true
wenzelm@34626
    88
encoding.opt-out.TIS-620=true
wenzelm@34626
    89
encoding.opt-out.UTF-16=true
wenzelm@34626
    90
encoding.opt-out.UTF-16BE=true
wenzelm@34626
    91
encoding.opt-out.UTF-16LE=true
wenzelm@34626
    92
encoding.opt-out.UTF-32=true
wenzelm@34626
    93
encoding.opt-out.UTF-32BE=true
wenzelm@34626
    94
encoding.opt-out.UTF-32LE=true
wenzelm@34626
    95
encoding.opt-out.X-UTF-32BE-BOM=true
wenzelm@34626
    96
encoding.opt-out.X-UTF-32LE-BOM=true
wenzelm@60877
    97
encoding.opt-out.windows-31j=true
wenzelm@34626
    98
encoding.opt-out.windows-1250=true
wenzelm@34626
    99
encoding.opt-out.windows-1251=true
wenzelm@34626
   100
encoding.opt-out.windows-1253=true
wenzelm@34626
   101
encoding.opt-out.windows-1254=true
wenzelm@34626
   102
encoding.opt-out.windows-1255=true
wenzelm@34626
   103
encoding.opt-out.windows-1256=true
wenzelm@34626
   104
encoding.opt-out.windows-1257=true
wenzelm@34626
   105
encoding.opt-out.windows-1258=true
wenzelm@34626
   106
encoding.opt-out.x-Big5-Solaris=true
wenzelm@34626
   107
encoding.opt-out.x-EUC-TW=true
wenzelm@34626
   108
encoding.opt-out.x-IBM737=true
wenzelm@34626
   109
encoding.opt-out.x-IBM834=true
wenzelm@34626
   110
encoding.opt-out.x-IBM856=true
wenzelm@34626
   111
encoding.opt-out.x-IBM874=true
wenzelm@34626
   112
encoding.opt-out.x-IBM875=true
wenzelm@34626
   113
encoding.opt-out.x-IBM921=true
wenzelm@34626
   114
encoding.opt-out.x-IBM922=true
wenzelm@34626
   115
encoding.opt-out.x-IBM930=true
wenzelm@34626
   116
encoding.opt-out.x-IBM933=true
wenzelm@34626
   117
encoding.opt-out.x-IBM935=true
wenzelm@34626
   118
encoding.opt-out.x-IBM937=true
wenzelm@34626
   119
encoding.opt-out.x-IBM939=true
wenzelm@34626
   120
encoding.opt-out.x-IBM942=true
wenzelm@34626
   121
encoding.opt-out.x-IBM942C=true
wenzelm@34626
   122
encoding.opt-out.x-IBM943=true
wenzelm@34626
   123
encoding.opt-out.x-IBM943C=true
wenzelm@34626
   124
encoding.opt-out.x-IBM948=true
wenzelm@34626
   125
encoding.opt-out.x-IBM949=true
wenzelm@34626
   126
encoding.opt-out.x-IBM949C=true
wenzelm@34626
   127
encoding.opt-out.x-IBM950=true
wenzelm@34626
   128
encoding.opt-out.x-IBM964=true
wenzelm@34626
   129
encoding.opt-out.x-IBM970=true
wenzelm@60877
   130
encoding.opt-out.x-IBM1006=true
wenzelm@60877
   131
encoding.opt-out.x-IBM1025=true
wenzelm@60877
   132
encoding.opt-out.x-IBM1046=true
wenzelm@60877
   133
encoding.opt-out.x-IBM1097=true
wenzelm@60877
   134
encoding.opt-out.x-IBM1098=true
wenzelm@60877
   135
encoding.opt-out.x-IBM1112=true
wenzelm@60877
   136
encoding.opt-out.x-IBM1122=true
wenzelm@60877
   137
encoding.opt-out.x-IBM1123=true
wenzelm@60877
   138
encoding.opt-out.x-IBM1124=true
wenzelm@60877
   139
encoding.opt-out.x-IBM1381=true
wenzelm@60877
   140
encoding.opt-out.x-IBM1383=true
wenzelm@60877
   141
encoding.opt-out.x-IBM33722=true
wenzelm@34626
   142
encoding.opt-out.x-ISCII91=true
wenzelm@34626
   143
encoding.opt-out.x-ISO-2022-CN-CNS=true
wenzelm@34626
   144
encoding.opt-out.x-ISO-2022-CN-GB=true
wenzelm@34626
   145
encoding.opt-out.x-JIS0208=true
wenzelm@34626
   146
encoding.opt-out.x-JISAutoDetect=true
wenzelm@34626
   147
encoding.opt-out.x-Johab=true
wenzelm@34626
   148
encoding.opt-out.x-MS932_0213=true
wenzelm@34626
   149
encoding.opt-out.x-MS950-HKSCS=true
wenzelm@34626
   150
encoding.opt-out.x-MacArabic=true
wenzelm@34626
   151
encoding.opt-out.x-MacCentralEurope=true
wenzelm@34626
   152
encoding.opt-out.x-MacCroatian=true
wenzelm@34626
   153
encoding.opt-out.x-MacCyrillic=true
wenzelm@34626
   154
encoding.opt-out.x-MacDingbat=true
wenzelm@34626
   155
encoding.opt-out.x-MacGreek=true
wenzelm@34626
   156
encoding.opt-out.x-MacHebrew=true
wenzelm@34626
   157
encoding.opt-out.x-MacIceland=true
wenzelm@34626
   158
encoding.opt-out.x-MacRoman=true
wenzelm@34626
   159
encoding.opt-out.x-MacRomania=true
wenzelm@34626
   160
encoding.opt-out.x-MacSymbol=true
wenzelm@34626
   161
encoding.opt-out.x-MacThai=true
wenzelm@34626
   162
encoding.opt-out.x-MacTurkish=true
wenzelm@34626
   163
encoding.opt-out.x-MacUkraine=true
wenzelm@34626
   164
encoding.opt-out.x-PCK=true
wenzelm@34626
   165
encoding.opt-out.x-SJIS_0213=true
wenzelm@34626
   166
encoding.opt-out.x-UTF-16LE-BOM=true
wenzelm@34626
   167
encoding.opt-out.x-euc-jp-linux=true
wenzelm@34626
   168
encoding.opt-out.x-eucJP-Open=true
wenzelm@34626
   169
encoding.opt-out.x-iso-8859-11=true
wenzelm@34626
   170
encoding.opt-out.x-mswin-936=true
wenzelm@34626
   171
encoding.opt-out.x-windows-874=true
wenzelm@34626
   172
encoding.opt-out.x-windows-949=true
wenzelm@34626
   173
encoding.opt-out.x-windows-950=true
wenzelm@60877
   174
encoding.opt-out.x-windows-50220=true
wenzelm@60877
   175
encoding.opt-out.x-windows-50221=true
wenzelm@34626
   176
encoding.opt-out.x-windows-iso2022jp=true
wenzelm@34702
   177
encodingDetectors=BOM XML-PI buffer-local-property
wenzelm@37190
   178
end.shortcut=
wenzelm@53188
   179
expand-abbrev.shortcut2=CA+SPACE
wenzelm@63757
   180
expand-folds.shortcut=
wenzelm@34619
   181
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
immler@34512
   182
firstTime=false
wenzelm@53188
   183
focus-buffer-switcher.shortcut2=A+CIRCUMFLEX
wenzelm@58746
   184
foldPainter=Circle
wenzelm@62675
   185
gatchan.highlight.overview=false
wenzelm@37190
   186
home.shortcut=
wenzelm@37190
   187
insert-newline-indent.shortcut=
wenzelm@63735
   188
insert-newline.shortcut=
wenzelm@60749
   189
isabelle-debugger.dock-position=floating
wenzelm@52947
   190
isabelle-documentation.dock-position=right
wenzelm@34880
   191
isabelle-output.dock-position=bottom
wenzelm@39815
   192
isabelle-output.height=174
wenzelm@39815
   193
isabelle-output.width=412
wenzelm@56879
   194
isabelle-query.dock-position=bottom
wenzelm@56986
   195
isabelle-simplifier-trace.dock-position=floating
wenzelm@56986
   196
isabelle-sledgehammer.dock-position=bottom
wenzelm@61208
   197
isabelle-state.dock-position=right
wenzelm@50306
   198
isabelle-symbols.dock-position=bottom
wenzelm@50803
   199
isabelle-theories.dock-position=right
wenzelm@60877
   200
isabelle.complete-word.label=Complete word
wenzelm@54318
   201
isabelle.complete.label=Complete Isabelle text
wenzelm@54318
   202
isabelle.complete.shortcut2=C+b
wenzelm@50308
   203
isabelle.control-bold.label=Control bold
wenzelm@50308
   204
isabelle.control-bold.shortcut=C+e RIGHT
wenzelm@61483
   205
isabelle.control-emph.label=Control emphasized
wenzelm@61483
   206
isabelle.control-emph.shortcut=C+e LEFT
wenzelm@53188
   207
isabelle.control-reset.label=Control reset
wenzelm@61483
   208
isabelle.control-reset.shortcut=C+e BACK_SPACE
wenzelm@53021
   209
isabelle.control-sub.label=Control subscript
wenzelm@53021
   210
isabelle.control-sub.shortcut=C+e DOWN
wenzelm@50506
   211
isabelle.control-sup.label=Control superscript
wenzelm@50506
   212
isabelle.control-sup.shortcut=C+e UP
wenzelm@50308
   213
isabelle.decrease-font-size.label=Decrease font size
wenzelm@51069
   214
isabelle.decrease-font-size.shortcut2=C+SUBTRACT
wenzelm@50308
   215
isabelle.decrease-font-size.shortcut=C+MINUS
wenzelm@52428
   216
isabelle.decrease-font-size2.label=Decrease font size (clone)
wenzelm@60877
   217
isabelle.exclude-word-permanently.label=Exclude word permanently
wenzelm@60877
   218
isabelle.exclude-word.label=Exclude word
wenzelm@60877
   219
isabelle.include-word-permanently.label=Include word permanently
wenzelm@60877
   220
isabelle.include-word.label=Include word
wenzelm@50308
   221
isabelle.increase-font-size.label=Increase font size
wenzelm@51069
   222
isabelle.increase-font-size.shortcut2=C+ADD
wenzelm@50308
   223
isabelle.increase-font-size.shortcut=C+PLUS
wenzelm@52428
   224
isabelle.increase-font-size2.label=Increase font size (clone)
wenzelm@52947
   225
isabelle.increase-font-size2.shortcut=C+EQUALS
wenzelm@63455
   226
isabelle.newline.label=Newline with indentation of Isabelle keywords
wenzelm@63455
   227
isabelle.newline.shortcut=ENTER
wenzelm@57627
   228
isabelle.options.label=Isabelle options
wenzelm@52947
   229
isabelle.reset-continuous-checking.label=Reset continuous checking
wenzelm@53161
   230
isabelle.reset-font-size.label=Reset font size
wenzelm@52947
   231
isabelle.reset-node-required.label=Reset node required
wenzelm@60877
   232
isabelle.reset-words.label=Reset non-permanent words
wenzelm@63236
   233
isabelle.select-entity.label=Select all occurences of formal entity at caret
wenzelm@63236
   234
isabelle.select-entity.shortcut=CS+ENTER
wenzelm@52947
   235
isabelle.set-continuous-checking.label=Set continuous checking
wenzelm@52947
   236
isabelle.set-node-required.label=Set node required
wenzelm@60878
   237
isabelle.toggle-breakpoint.label=Toggle Breakpoint
wenzelm@52947
   238
isabelle.toggle-continuous-checking.label=Toggle continuous checking
wenzelm@52947
   239
isabelle.toggle-continuous-checking.shortcut=C+e ENTER
wenzelm@52947
   240
isabelle.toggle-node-required.label=Toggle node required
wenzelm@52947
   241
isabelle.toggle-node-required.shortcut=C+e SPACE
wenzelm@61218
   242
isabelle.update-state.label=Update state output
wenzelm@61218
   243
isabelle.update-state.shortcut=S+ENTER
wenzelm@50306
   244
lang.usedefaultlocale=false
wenzelm@50306
   245
largefilemode=full
wenzelm@37190
   246
line-end.shortcut=END
wenzelm@37190
   247
line-home.shortcut=HOME
wenzelm@54660
   248
logo.icon.medium=32x32/apps/isabelle.gif
wenzelm@61529
   249
lookAndFeel=javax.swing.plaf.metal.MetalLookAndFeel
wenzelm@53188
   250
match-bracket.shortcut2=C+9
wenzelm@56413
   251
navigator.showOnToolbar=true
wenzelm@53188
   252
next-bracket.shortcut2=C+e C+9
wenzelm@63760
   253
options.shortcuts.deletekeymap.label=Delete
wenzelm@63760
   254
options.shortcuts.duplicatekeymap.dialog.title=Keymap name
wenzelm@63760
   255
options.shortcuts.duplicatekeymap.label=Duplicate
wenzelm@63760
   256
options.shortcuts.resetkeymap.dialog.title=Reset keymap
wenzelm@63760
   257
options.shortcuts.resetkeymap.label=Reset
wenzelm@58785
   258
options.textarea.lineSpacing=-2
wenzelm@53883
   259
plugin-blacklist.MacOSX.jar=true
wenzelm@50728
   260
plugin.MacOSXPlugin.altDispatcher=false
wenzelm@50492
   261
plugin.MacOSXPlugin.disableOption=true
wenzelm@53188
   262
prev-bracket.shortcut2=C+e C+8
wenzelm@37162
   263
print.font=IsabelleText
wenzelm@63726
   264
print.glyphVector=true
wenzelm@53188
   265
recent-buffer.shortcut2=C+CIRCUMFLEX
wenzelm@41631
   266
restore.remote=false
wenzelm@41631
   267
restore=false
wenzelm@56892
   268
search.subdirs.toggle=true
wenzelm@53188
   269
select-block.shortcut2=C+8
wenzelm@34702
   270
sidekick-tree.dock-position=right
wenzelm@47590
   271
sidekick.auto-complete-popup-get-focus=true
wenzelm@34702
   272
sidekick.buffer-save-parse=true
wenzelm@50730
   273
sidekick.complete-delay=0
wenzelm@47590
   274
sidekick.complete-instant.toggle=false
wenzelm@50730
   275
sidekick.complete-popup.accept-characters=\\t
wenzelm@47590
   276
sidekick.complete-popup.insert-characters=
wenzelm@60269
   277
sidekick.persistentFilter=true
wenzelm@60267
   278
sidekick.showFilter=true
wenzelm@34880
   279
sidekick.splitter.location=721
wenzelm@50318
   280
systrayicon=false
immler@34512
   281
tip.show=false
wenzelm@53188
   282
toggle-multi-select.shortcut2=C+NUMBER_SIGN
wenzelm@53188
   283
toggle-rect-select.shortcut2=A+NUMBER_SIGN
wenzelm@36792
   284
twoStageSave=false
wenzelm@50306
   285
vfs.browser.dock-position=floating
wenzelm@60877
   286
vfs.favorite.0.type=1
wenzelm@56632
   287
vfs.favorite.0=$ISABELLE_HOME
wenzelm@60877
   288
vfs.favorite.1.type=1
wenzelm@56632
   289
vfs.favorite.1=$ISABELLE_HOME_USER
wenzelm@63749
   290
vfs.favorite.2.type=1
wenzelm@63749
   291
vfs.favorite.2=$JEDIT_HOME
wenzelm@63749
   292
vfs.favorite.3.type=1
wenzelm@63749
   293
vfs.favorite.3=$JEDIT_SETTINGS
wenzelm@34334
   294
view.antiAlias=standard
wenzelm@34334
   295
view.blockCaret=true
wenzelm@34334
   296
view.caretBlink=false
wenzelm@56907
   297
view.docking.framework=PIDE
wenzelm@34334
   298
view.eolMarkers=false
wenzelm@34334
   299
view.extendedState=0
wenzelm@34753
   300
view.font=IsabelleText
wenzelm@34334
   301
view.fontsize=18
wenzelm@34725
   302
view.fracFontMetrics=false
wenzelm@34334
   303
view.gutter.fontsize=12
wenzelm@50306
   304
view.gutter.lineNumbers=false
wenzelm@39176
   305
view.gutter.selectionAreaWidth=18
wenzelm@34880
   306
view.height=787
wenzelm@34334
   307
view.middleMousePaste=true
wenzelm@56413
   308
view.showToolbar=true
wenzelm@41631
   309
view.thickCaret=true
wenzelm@54654
   310
view.title=Isabelle/jEdit -\u0020
wenzelm@34880
   311
view.width=1072