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