src/Tools/jEdit/src/jEdit.props
changeset 60877 8d00ff5a052e
parent 60749 f727b99faaf7
child 60878 1f0d2bbcf38b
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Mon Aug 10 16:05:41 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Mon Aug 10 16:14:50 2015 +0200
     1.3 @@ -22,11 +22,12 @@
     1.4  encoding.opt-out.COMPOUND_TEXT=true
     1.5  encoding.opt-out.EUC-JP=true
     1.6  encoding.opt-out.EUC-KR=true
     1.7 +encoding.opt-out.GB2312=true
     1.8  encoding.opt-out.GB18030=true
     1.9 -encoding.opt-out.GB2312=true
    1.10  encoding.opt-out.GBK=true
    1.11  encoding.opt-out.IBM-Thai=true
    1.12  encoding.opt-out.IBM00858=true
    1.13 +encoding.opt-out.IBM037=true
    1.14  encoding.opt-out.IBM01140=true
    1.15  encoding.opt-out.IBM01141=true
    1.16  encoding.opt-out.IBM01142=true
    1.17 @@ -37,9 +38,6 @@
    1.18  encoding.opt-out.IBM01147=true
    1.19  encoding.opt-out.IBM01148=true
    1.20  encoding.opt-out.IBM01149=true
    1.21 -encoding.opt-out.IBM037=true
    1.22 -encoding.opt-out.IBM1026=true
    1.23 -encoding.opt-out.IBM1047=true
    1.24  encoding.opt-out.IBM273=true
    1.25  encoding.opt-out.IBM277=true
    1.26  encoding.opt-out.IBM278=true
    1.27 @@ -68,11 +66,12 @@
    1.28  encoding.opt-out.IBM870=true
    1.29  encoding.opt-out.IBM871=true
    1.30  encoding.opt-out.IBM918=true
    1.31 +encoding.opt-out.IBM1026=true
    1.32 +encoding.opt-out.IBM1047=true
    1.33  encoding.opt-out.ISO-2022-CN=true
    1.34  encoding.opt-out.ISO-2022-JP-2=true
    1.35  encoding.opt-out.ISO-2022-JP=true
    1.36  encoding.opt-out.ISO-2022-KR=true
    1.37 -encoding.opt-out.ISO-8859-13=true
    1.38  encoding.opt-out.ISO-8859-2=true
    1.39  encoding.opt-out.ISO-8859-3=true
    1.40  encoding.opt-out.ISO-8859-4=true
    1.41 @@ -81,6 +80,7 @@
    1.42  encoding.opt-out.ISO-8859-7=true
    1.43  encoding.opt-out.ISO-8859-8=true
    1.44  encoding.opt-out.ISO-8859-9=true
    1.45 +encoding.opt-out.ISO-8859-13=true
    1.46  encoding.opt-out.JIS_X0201=true
    1.47  encoding.opt-out.JIS_X0212-1990=true
    1.48  encoding.opt-out.KOI8-R=true
    1.49 @@ -95,6 +95,7 @@
    1.50  encoding.opt-out.UTF-32LE=true
    1.51  encoding.opt-out.X-UTF-32BE-BOM=true
    1.52  encoding.opt-out.X-UTF-32LE-BOM=true
    1.53 +encoding.opt-out.windows-31j=true
    1.54  encoding.opt-out.windows-1250=true
    1.55  encoding.opt-out.windows-1251=true
    1.56  encoding.opt-out.windows-1253=true
    1.57 @@ -103,21 +104,8 @@
    1.58  encoding.opt-out.windows-1256=true
    1.59  encoding.opt-out.windows-1257=true
    1.60  encoding.opt-out.windows-1258=true
    1.61 -encoding.opt-out.windows-31j=true
    1.62  encoding.opt-out.x-Big5-Solaris=true
    1.63  encoding.opt-out.x-EUC-TW=true
    1.64 -encoding.opt-out.x-IBM1006=true
    1.65 -encoding.opt-out.x-IBM1025=true
    1.66 -encoding.opt-out.x-IBM1046=true
    1.67 -encoding.opt-out.x-IBM1097=true
    1.68 -encoding.opt-out.x-IBM1098=true
    1.69 -encoding.opt-out.x-IBM1112=true
    1.70 -encoding.opt-out.x-IBM1122=true
    1.71 -encoding.opt-out.x-IBM1123=true
    1.72 -encoding.opt-out.x-IBM1124=true
    1.73 -encoding.opt-out.x-IBM1381=true
    1.74 -encoding.opt-out.x-IBM1383=true
    1.75 -encoding.opt-out.x-IBM33722=true
    1.76  encoding.opt-out.x-IBM737=true
    1.77  encoding.opt-out.x-IBM834=true
    1.78  encoding.opt-out.x-IBM856=true
    1.79 @@ -140,6 +128,18 @@
    1.80  encoding.opt-out.x-IBM950=true
    1.81  encoding.opt-out.x-IBM964=true
    1.82  encoding.opt-out.x-IBM970=true
    1.83 +encoding.opt-out.x-IBM1006=true
    1.84 +encoding.opt-out.x-IBM1025=true
    1.85 +encoding.opt-out.x-IBM1046=true
    1.86 +encoding.opt-out.x-IBM1097=true
    1.87 +encoding.opt-out.x-IBM1098=true
    1.88 +encoding.opt-out.x-IBM1112=true
    1.89 +encoding.opt-out.x-IBM1122=true
    1.90 +encoding.opt-out.x-IBM1123=true
    1.91 +encoding.opt-out.x-IBM1124=true
    1.92 +encoding.opt-out.x-IBM1381=true
    1.93 +encoding.opt-out.x-IBM1383=true
    1.94 +encoding.opt-out.x-IBM33722=true
    1.95  encoding.opt-out.x-ISCII91=true
    1.96  encoding.opt-out.x-ISO-2022-CN-CNS=true
    1.97  encoding.opt-out.x-ISO-2022-CN-GB=true
    1.98 @@ -169,11 +169,11 @@
    1.99  encoding.opt-out.x-eucJP-Open=true
   1.100  encoding.opt-out.x-iso-8859-11=true
   1.101  encoding.opt-out.x-mswin-936=true
   1.102 -encoding.opt-out.x-windows-50220=true
   1.103 -encoding.opt-out.x-windows-50221=true
   1.104  encoding.opt-out.x-windows-874=true
   1.105  encoding.opt-out.x-windows-949=true
   1.106  encoding.opt-out.x-windows-950=true
   1.107 +encoding.opt-out.x-windows-50220=true
   1.108 +encoding.opt-out.x-windows-50221=true
   1.109  encoding.opt-out.x-windows-iso2022jp=true
   1.110  encodingDetectors=BOM XML-PI buffer-local-property
   1.111  end.shortcut=
   1.112 @@ -195,9 +195,9 @@
   1.113  isabelle-sledgehammer.dock-position=bottom
   1.114  isabelle-symbols.dock-position=bottom
   1.115  isabelle-theories.dock-position=right
   1.116 +isabelle.complete-word.label=Complete word
   1.117  isabelle.complete.label=Complete Isabelle text
   1.118  isabelle.complete.shortcut2=C+b
   1.119 -isabelle.complete-word.label=Complete word
   1.120  isabelle.control-bold.label=Control bold
   1.121  isabelle.control-bold.shortcut=C+e RIGHT
   1.122  isabelle.control-reset.label=Control reset
   1.123 @@ -210,20 +210,20 @@
   1.124  isabelle.decrease-font-size.shortcut2=C+SUBTRACT
   1.125  isabelle.decrease-font-size.shortcut=C+MINUS
   1.126  isabelle.decrease-font-size2.label=Decrease font size (clone)
   1.127 +isabelle.exclude-word-permanently.label=Exclude word permanently
   1.128 +isabelle.exclude-word.label=Exclude word
   1.129 +isabelle.include-word-permanently.label=Include word permanently
   1.130 +isabelle.include-word.label=Include word
   1.131  isabelle.increase-font-size.label=Increase font size
   1.132  isabelle.increase-font-size.shortcut2=C+ADD
   1.133  isabelle.increase-font-size.shortcut=C+PLUS
   1.134  isabelle.increase-font-size2.label=Increase font size (clone)
   1.135  isabelle.increase-font-size2.shortcut=C+EQUALS
   1.136 -isabelle.include-word.label=Include word
   1.137 -isabelle.include-word-permanently.label=Include word permanently
   1.138 -isabelle.exclude-word.label=Exclude word
   1.139 -isabelle.exclude-word-permanently.label=Exclude word permanently
   1.140  isabelle.options.label=Isabelle options
   1.141 -isabelle.reset-words.label=Reset non-permanent words
   1.142  isabelle.reset-continuous-checking.label=Reset continuous checking
   1.143  isabelle.reset-font-size.label=Reset font size
   1.144  isabelle.reset-node-required.label=Reset node required
   1.145 +isabelle.reset-words.label=Reset non-permanent words
   1.146  isabelle.set-continuous-checking.label=Set continuous checking
   1.147  isabelle.set-node-required.label=Set node required
   1.148  isabelle.toggle-continuous-checking.label=Toggle continuous checking
   1.149 @@ -266,10 +266,10 @@
   1.150  toggle-rect-select.shortcut2=A+NUMBER_SIGN
   1.151  twoStageSave=false
   1.152  vfs.browser.dock-position=floating
   1.153 +vfs.favorite.0.type=1
   1.154  vfs.favorite.0=$ISABELLE_HOME
   1.155 -vfs.favorite.0.type=1
   1.156 +vfs.favorite.1.type=1
   1.157  vfs.favorite.1=$ISABELLE_HOME_USER
   1.158 -vfs.favorite.1.type=1
   1.159  view.antiAlias=standard
   1.160  view.blockCaret=true
   1.161  view.caretBlink=false