src/Tools/jEdit/src/jEdit.props
author wenzelm
Sun May 18 00:00:26 2014 +0200 (2014-05-18 ago)
changeset 56986 43be5818a45c
parent 56962 9c2ca698690e
child 57627 65fc7ae1bf66
permissions -rw-r--r--
clarified docking layout, amending 9c2ca698690e;
wenzelm@34334
     1
#jEdit properties
wenzelm@53933
     2
action-bar.shortcut=C+ENTER
wenzelm@34702
     3
buffer.deepIndent=false
wenzelm@34702
     4
buffer.encoding=UTF-8-Isabelle
wenzelm@34702
     5
buffer.indentSize=2
wenzelm@34702
     6
buffer.lineSeparator=\n
wenzelm@34702
     7
buffer.maxLineLen=100
wenzelm@34702
     8
buffer.noTabs=true
wenzelm@40791
     9
buffer.sidekick.keystroke-parse=false
wenzelm@34702
    10
buffer.tabSize=2
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@34626
    24
encoding.opt-out.GB18030=true
wenzelm@34626
    25
encoding.opt-out.GB2312=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@34626
    29
encoding.opt-out.IBM01140=true
wenzelm@34626
    30
encoding.opt-out.IBM01141=true
wenzelm@34626
    31
encoding.opt-out.IBM01142=true
wenzelm@34626
    32
encoding.opt-out.IBM01143=true
wenzelm@34626
    33
encoding.opt-out.IBM01144=true
wenzelm@34626
    34
encoding.opt-out.IBM01145=true
wenzelm@34626
    35
encoding.opt-out.IBM01146=true
wenzelm@34626
    36
encoding.opt-out.IBM01147=true
wenzelm@34626
    37
encoding.opt-out.IBM01148=true
wenzelm@34626
    38
encoding.opt-out.IBM01149=true
wenzelm@34626
    39
encoding.opt-out.IBM037=true
wenzelm@34626
    40
encoding.opt-out.IBM1026=true
wenzelm@34626
    41
encoding.opt-out.IBM1047=true
wenzelm@34626
    42
encoding.opt-out.IBM273=true
wenzelm@34626
    43
encoding.opt-out.IBM277=true
wenzelm@34626
    44
encoding.opt-out.IBM278=true
wenzelm@34626
    45
encoding.opt-out.IBM280=true
wenzelm@34626
    46
encoding.opt-out.IBM284=true
wenzelm@34626
    47
encoding.opt-out.IBM285=true
wenzelm@34626
    48
encoding.opt-out.IBM297=true
wenzelm@34626
    49
encoding.opt-out.IBM420=true
wenzelm@34626
    50
encoding.opt-out.IBM424=true
wenzelm@34626
    51
encoding.opt-out.IBM437=true
wenzelm@34626
    52
encoding.opt-out.IBM500=true
wenzelm@34626
    53
encoding.opt-out.IBM775=true
wenzelm@34626
    54
encoding.opt-out.IBM850=true
wenzelm@34626
    55
encoding.opt-out.IBM852=true
wenzelm@34626
    56
encoding.opt-out.IBM855=true
wenzelm@34626
    57
encoding.opt-out.IBM857=true
wenzelm@34626
    58
encoding.opt-out.IBM860=true
wenzelm@34626
    59
encoding.opt-out.IBM861=true
wenzelm@34626
    60
encoding.opt-out.IBM862=true
wenzelm@34626
    61
encoding.opt-out.IBM863=true
wenzelm@34626
    62
encoding.opt-out.IBM864=true
wenzelm@34626
    63
encoding.opt-out.IBM865=true
wenzelm@34626
    64
encoding.opt-out.IBM866=true
wenzelm@34626
    65
encoding.opt-out.IBM868=true
wenzelm@34626
    66
encoding.opt-out.IBM869=true
wenzelm@34626
    67
encoding.opt-out.IBM870=true
wenzelm@34626
    68
encoding.opt-out.IBM871=true
wenzelm@34626
    69
encoding.opt-out.IBM918=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-13=true
wenzelm@34626
    75
encoding.opt-out.ISO-8859-2=true
wenzelm@34626
    76
encoding.opt-out.ISO-8859-3=true
wenzelm@34626
    77
encoding.opt-out.ISO-8859-4=true
wenzelm@34626
    78
encoding.opt-out.ISO-8859-5=true
wenzelm@34626
    79
encoding.opt-out.ISO-8859-6=true
wenzelm@34626
    80
encoding.opt-out.ISO-8859-7=true
wenzelm@34626
    81
encoding.opt-out.ISO-8859-8=true
wenzelm@34626
    82
encoding.opt-out.ISO-8859-9=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@34626
    97
encoding.opt-out.windows-1250=true
wenzelm@34626
    98
encoding.opt-out.windows-1251=true
wenzelm@34626
    99
encoding.opt-out.windows-1253=true
wenzelm@34626
   100
encoding.opt-out.windows-1254=true
wenzelm@34626
   101
encoding.opt-out.windows-1255=true
wenzelm@34626
   102
encoding.opt-out.windows-1256=true
wenzelm@34626
   103
encoding.opt-out.windows-1257=true
wenzelm@34626
   104
encoding.opt-out.windows-1258=true
wenzelm@34626
   105
encoding.opt-out.windows-31j=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-IBM1006=true
wenzelm@34626
   109
encoding.opt-out.x-IBM1025=true
wenzelm@34626
   110
encoding.opt-out.x-IBM1046=true
wenzelm@34626
   111
encoding.opt-out.x-IBM1097=true
wenzelm@34626
   112
encoding.opt-out.x-IBM1098=true
wenzelm@34626
   113
encoding.opt-out.x-IBM1112=true
wenzelm@34626
   114
encoding.opt-out.x-IBM1122=true
wenzelm@34626
   115
encoding.opt-out.x-IBM1123=true
wenzelm@34626
   116
encoding.opt-out.x-IBM1124=true
wenzelm@34626
   117
encoding.opt-out.x-IBM1381=true
wenzelm@34626
   118
encoding.opt-out.x-IBM1383=true
wenzelm@34626
   119
encoding.opt-out.x-IBM33722=true
wenzelm@34626
   120
encoding.opt-out.x-IBM737=true
wenzelm@34626
   121
encoding.opt-out.x-IBM834=true
wenzelm@34626
   122
encoding.opt-out.x-IBM856=true
wenzelm@34626
   123
encoding.opt-out.x-IBM874=true
wenzelm@34626
   124
encoding.opt-out.x-IBM875=true
wenzelm@34626
   125
encoding.opt-out.x-IBM921=true
wenzelm@34626
   126
encoding.opt-out.x-IBM922=true
wenzelm@34626
   127
encoding.opt-out.x-IBM930=true
wenzelm@34626
   128
encoding.opt-out.x-IBM933=true
wenzelm@34626
   129
encoding.opt-out.x-IBM935=true
wenzelm@34626
   130
encoding.opt-out.x-IBM937=true
wenzelm@34626
   131
encoding.opt-out.x-IBM939=true
wenzelm@34626
   132
encoding.opt-out.x-IBM942=true
wenzelm@34626
   133
encoding.opt-out.x-IBM942C=true
wenzelm@34626
   134
encoding.opt-out.x-IBM943=true
wenzelm@34626
   135
encoding.opt-out.x-IBM943C=true
wenzelm@34626
   136
encoding.opt-out.x-IBM948=true
wenzelm@34626
   137
encoding.opt-out.x-IBM949=true
wenzelm@34626
   138
encoding.opt-out.x-IBM949C=true
wenzelm@34626
   139
encoding.opt-out.x-IBM950=true
wenzelm@34626
   140
encoding.opt-out.x-IBM964=true
wenzelm@34626
   141
encoding.opt-out.x-IBM970=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-50220=true
wenzelm@34626
   172
encoding.opt-out.x-windows-50221=true
wenzelm@34626
   173
encoding.opt-out.x-windows-874=true
wenzelm@34626
   174
encoding.opt-out.x-windows-949=true
wenzelm@34626
   175
encoding.opt-out.x-windows-950=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@34619
   180
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
immler@34512
   181
firstTime=false
wenzelm@53188
   182
focus-buffer-switcher.shortcut2=A+CIRCUMFLEX
wenzelm@37190
   183
home.shortcut=
wenzelm@37190
   184
insert-newline-indent.shortcut=
wenzelm@37190
   185
insert-newline.shortcut=ENTER
wenzelm@52947
   186
isabelle-documentation.dock-position=right
wenzelm@34880
   187
isabelle-output.dock-position=bottom
wenzelm@39815
   188
isabelle-output.height=174
wenzelm@39815
   189
isabelle-output.width=412
wenzelm@56879
   190
isabelle-query.dock-position=bottom
wenzelm@56986
   191
isabelle-simplifier-trace.dock-position=floating
wenzelm@56986
   192
isabelle-sledgehammer.dock-position=bottom
wenzelm@50306
   193
isabelle-symbols.dock-position=bottom
wenzelm@50803
   194
isabelle-theories.dock-position=right
wenzelm@54318
   195
isabelle.complete.label=Complete Isabelle text
wenzelm@54318
   196
isabelle.complete.shortcut2=C+b
wenzelm@56586
   197
isabelle.complete-word.label=Complete word
wenzelm@50308
   198
isabelle.control-bold.label=Control bold
wenzelm@50308
   199
isabelle.control-bold.shortcut=C+e RIGHT
wenzelm@53188
   200
isabelle.control-reset.label=Control reset
wenzelm@53188
   201
isabelle.control-reset.shortcut=C+e LEFT
wenzelm@53021
   202
isabelle.control-sub.label=Control subscript
wenzelm@53021
   203
isabelle.control-sub.shortcut=C+e DOWN
wenzelm@50506
   204
isabelle.control-sup.label=Control superscript
wenzelm@50506
   205
isabelle.control-sup.shortcut=C+e UP
wenzelm@50308
   206
isabelle.decrease-font-size.label=Decrease font size
wenzelm@51069
   207
isabelle.decrease-font-size.shortcut2=C+SUBTRACT
wenzelm@50308
   208
isabelle.decrease-font-size.shortcut=C+MINUS
wenzelm@52428
   209
isabelle.decrease-font-size2.label=Decrease font size (clone)
wenzelm@50308
   210
isabelle.increase-font-size.label=Increase font size
wenzelm@51069
   211
isabelle.increase-font-size.shortcut2=C+ADD
wenzelm@50308
   212
isabelle.increase-font-size.shortcut=C+PLUS
wenzelm@52428
   213
isabelle.increase-font-size2.label=Increase font size (clone)
wenzelm@52947
   214
isabelle.increase-font-size2.shortcut=C+EQUALS
wenzelm@56574
   215
isabelle.include-word.label=Include word
wenzelm@56574
   216
isabelle.include-word-permanently.label=Include word permanently
wenzelm@56574
   217
isabelle.exclude-word.label=Exclude word
wenzelm@56574
   218
isabelle.exclude-word-permanently.label=Exclude word permanently
wenzelm@56581
   219
isabelle.reset-words.label=Reset non-permanent words
wenzelm@52947
   220
isabelle.reset-continuous-checking.label=Reset continuous checking
wenzelm@53161
   221
isabelle.reset-font-size.label=Reset font size
wenzelm@52947
   222
isabelle.reset-node-required.label=Reset node required
wenzelm@52947
   223
isabelle.set-continuous-checking.label=Set continuous checking
wenzelm@52947
   224
isabelle.set-node-required.label=Set node required
wenzelm@52947
   225
isabelle.toggle-continuous-checking.label=Toggle continuous checking
wenzelm@52947
   226
isabelle.toggle-continuous-checking.shortcut=C+e ENTER
wenzelm@52947
   227
isabelle.toggle-node-required.label=Toggle node required
wenzelm@52947
   228
isabelle.toggle-node-required.shortcut=C+e SPACE
wenzelm@50306
   229
lang.usedefaultlocale=false
wenzelm@50306
   230
largefilemode=full
wenzelm@37190
   231
line-end.shortcut=END
wenzelm@37190
   232
line-home.shortcut=HOME
wenzelm@54660
   233
logo.icon.medium=32x32/apps/isabelle.gif
wenzelm@50306
   234
lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
wenzelm@53188
   235
match-bracket.shortcut2=C+9
wenzelm@56413
   236
navigator.showOnToolbar=true
wenzelm@53188
   237
next-bracket.shortcut2=C+e C+9
wenzelm@53883
   238
plugin-blacklist.MacOSX.jar=true
wenzelm@50728
   239
plugin.MacOSXPlugin.altDispatcher=false
wenzelm@50492
   240
plugin.MacOSXPlugin.disableOption=true
wenzelm@53188
   241
prev-bracket.shortcut2=C+e C+8
wenzelm@37162
   242
print.font=IsabelleText
wenzelm@53188
   243
recent-buffer.shortcut2=C+CIRCUMFLEX
wenzelm@41631
   244
restore.remote=false
wenzelm@41631
   245
restore=false
wenzelm@56892
   246
search.subdirs.toggle=true
wenzelm@53188
   247
select-block.shortcut2=C+8
wenzelm@34702
   248
sidekick-tree.dock-position=right
wenzelm@47590
   249
sidekick.auto-complete-popup-get-focus=true
wenzelm@34702
   250
sidekick.buffer-save-parse=true
wenzelm@50730
   251
sidekick.complete-delay=0
wenzelm@47590
   252
sidekick.complete-instant.toggle=false
wenzelm@50730
   253
sidekick.complete-popup.accept-characters=\\t
wenzelm@47590
   254
sidekick.complete-popup.insert-characters=
wenzelm@34880
   255
sidekick.splitter.location=721
wenzelm@50318
   256
systrayicon=false
immler@34512
   257
tip.show=false
wenzelm@53188
   258
toggle-multi-select.shortcut2=C+NUMBER_SIGN
wenzelm@53188
   259
toggle-rect-select.shortcut2=A+NUMBER_SIGN
wenzelm@36792
   260
twoStageSave=false
wenzelm@50306
   261
vfs.browser.dock-position=floating
wenzelm@56632
   262
vfs.favorite.0=$ISABELLE_HOME
wenzelm@56632
   263
vfs.favorite.0.type=1
wenzelm@56632
   264
vfs.favorite.1=$ISABELLE_HOME_USER
wenzelm@56632
   265
vfs.favorite.1.type=1
wenzelm@34334
   266
view.antiAlias=standard
wenzelm@34334
   267
view.blockCaret=true
wenzelm@34334
   268
view.caretBlink=false
wenzelm@56907
   269
view.docking.framework=PIDE
wenzelm@34334
   270
view.eolMarkers=false
wenzelm@34334
   271
view.extendedState=0
wenzelm@34753
   272
view.font=IsabelleText
wenzelm@34334
   273
view.fontsize=18
wenzelm@34725
   274
view.fracFontMetrics=false
wenzelm@34334
   275
view.gutter.fontsize=12
wenzelm@50306
   276
view.gutter.lineNumbers=false
wenzelm@39176
   277
view.gutter.selectionAreaWidth=18
wenzelm@34880
   278
view.height=787
wenzelm@34334
   279
view.middleMousePaste=true
wenzelm@56413
   280
view.showToolbar=true
wenzelm@41631
   281
view.thickCaret=true
wenzelm@54654
   282
view.title=Isabelle/jEdit -\u0020
wenzelm@34880
   283
view.width=1072