src/Tools/jEdit/src/jEdit.props
author wenzelm
Sat Nov 30 17:38:08 2013 +0100 (2013-11-30 ago)
changeset 54654 6a35bc1ee210
parent 54365 5d45c985974a
child 54660 d9c88171b393
permissions -rw-r--r--
clarified view.title;
     1 #jEdit properties
     2 action-bar.shortcut=C+ENTER
     3 buffer.deepIndent=false
     4 buffer.encoding=UTF-8-Isabelle
     5 buffer.indentSize=2
     6 buffer.lineSeparator=\n
     7 buffer.maxLineLen=100
     8 buffer.noTabs=true
     9 buffer.sidekick.keystroke-parse=false
    10 buffer.tabSize=2
    11 close-docking-area.shortcut2=C+e C+CIRCUMFLEX
    12 complete-word.shortcut=
    13 console.dock-position=floating
    14 console.encoding=UTF-8
    15 console.font=IsabelleText
    16 console.fontsize=14
    17 delete-line.shortcut=A+d
    18 delete.shortcut2=C+d
    19 encoding.opt-out.Big5-HKSCS=true
    20 encoding.opt-out.Big5=true
    21 encoding.opt-out.COMPOUND_TEXT=true
    22 encoding.opt-out.EUC-JP=true
    23 encoding.opt-out.EUC-KR=true
    24 encoding.opt-out.GB18030=true
    25 encoding.opt-out.GB2312=true
    26 encoding.opt-out.GBK=true
    27 encoding.opt-out.IBM-Thai=true
    28 encoding.opt-out.IBM00858=true
    29 encoding.opt-out.IBM01140=true
    30 encoding.opt-out.IBM01141=true
    31 encoding.opt-out.IBM01142=true
    32 encoding.opt-out.IBM01143=true
    33 encoding.opt-out.IBM01144=true
    34 encoding.opt-out.IBM01145=true
    35 encoding.opt-out.IBM01146=true
    36 encoding.opt-out.IBM01147=true
    37 encoding.opt-out.IBM01148=true
    38 encoding.opt-out.IBM01149=true
    39 encoding.opt-out.IBM037=true
    40 encoding.opt-out.IBM1026=true
    41 encoding.opt-out.IBM1047=true
    42 encoding.opt-out.IBM273=true
    43 encoding.opt-out.IBM277=true
    44 encoding.opt-out.IBM278=true
    45 encoding.opt-out.IBM280=true
    46 encoding.opt-out.IBM284=true
    47 encoding.opt-out.IBM285=true
    48 encoding.opt-out.IBM297=true
    49 encoding.opt-out.IBM420=true
    50 encoding.opt-out.IBM424=true
    51 encoding.opt-out.IBM437=true
    52 encoding.opt-out.IBM500=true
    53 encoding.opt-out.IBM775=true
    54 encoding.opt-out.IBM850=true
    55 encoding.opt-out.IBM852=true
    56 encoding.opt-out.IBM855=true
    57 encoding.opt-out.IBM857=true
    58 encoding.opt-out.IBM860=true
    59 encoding.opt-out.IBM861=true
    60 encoding.opt-out.IBM862=true
    61 encoding.opt-out.IBM863=true
    62 encoding.opt-out.IBM864=true
    63 encoding.opt-out.IBM865=true
    64 encoding.opt-out.IBM866=true
    65 encoding.opt-out.IBM868=true
    66 encoding.opt-out.IBM869=true
    67 encoding.opt-out.IBM870=true
    68 encoding.opt-out.IBM871=true
    69 encoding.opt-out.IBM918=true
    70 encoding.opt-out.ISO-2022-CN=true
    71 encoding.opt-out.ISO-2022-JP-2=true
    72 encoding.opt-out.ISO-2022-JP=true
    73 encoding.opt-out.ISO-2022-KR=true
    74 encoding.opt-out.ISO-8859-13=true
    75 encoding.opt-out.ISO-8859-2=true
    76 encoding.opt-out.ISO-8859-3=true
    77 encoding.opt-out.ISO-8859-4=true
    78 encoding.opt-out.ISO-8859-5=true
    79 encoding.opt-out.ISO-8859-6=true
    80 encoding.opt-out.ISO-8859-7=true
    81 encoding.opt-out.ISO-8859-8=true
    82 encoding.opt-out.ISO-8859-9=true
    83 encoding.opt-out.JIS_X0201=true
    84 encoding.opt-out.JIS_X0212-1990=true
    85 encoding.opt-out.KOI8-R=true
    86 encoding.opt-out.KOI8-U=true
    87 encoding.opt-out.Shift_JIS=true
    88 encoding.opt-out.TIS-620=true
    89 encoding.opt-out.UTF-16=true
    90 encoding.opt-out.UTF-16BE=true
    91 encoding.opt-out.UTF-16LE=true
    92 encoding.opt-out.UTF-32=true
    93 encoding.opt-out.UTF-32BE=true
    94 encoding.opt-out.UTF-32LE=true
    95 encoding.opt-out.X-UTF-32BE-BOM=true
    96 encoding.opt-out.X-UTF-32LE-BOM=true
    97 encoding.opt-out.windows-1250=true
    98 encoding.opt-out.windows-1251=true
    99 encoding.opt-out.windows-1253=true
   100 encoding.opt-out.windows-1254=true
   101 encoding.opt-out.windows-1255=true
   102 encoding.opt-out.windows-1256=true
   103 encoding.opt-out.windows-1257=true
   104 encoding.opt-out.windows-1258=true
   105 encoding.opt-out.windows-31j=true
   106 encoding.opt-out.x-Big5-Solaris=true
   107 encoding.opt-out.x-EUC-TW=true
   108 encoding.opt-out.x-IBM1006=true
   109 encoding.opt-out.x-IBM1025=true
   110 encoding.opt-out.x-IBM1046=true
   111 encoding.opt-out.x-IBM1097=true
   112 encoding.opt-out.x-IBM1098=true
   113 encoding.opt-out.x-IBM1112=true
   114 encoding.opt-out.x-IBM1122=true
   115 encoding.opt-out.x-IBM1123=true
   116 encoding.opt-out.x-IBM1124=true
   117 encoding.opt-out.x-IBM1381=true
   118 encoding.opt-out.x-IBM1383=true
   119 encoding.opt-out.x-IBM33722=true
   120 encoding.opt-out.x-IBM737=true
   121 encoding.opt-out.x-IBM834=true
   122 encoding.opt-out.x-IBM856=true
   123 encoding.opt-out.x-IBM874=true
   124 encoding.opt-out.x-IBM875=true
   125 encoding.opt-out.x-IBM921=true
   126 encoding.opt-out.x-IBM922=true
   127 encoding.opt-out.x-IBM930=true
   128 encoding.opt-out.x-IBM933=true
   129 encoding.opt-out.x-IBM935=true
   130 encoding.opt-out.x-IBM937=true
   131 encoding.opt-out.x-IBM939=true
   132 encoding.opt-out.x-IBM942=true
   133 encoding.opt-out.x-IBM942C=true
   134 encoding.opt-out.x-IBM943=true
   135 encoding.opt-out.x-IBM943C=true
   136 encoding.opt-out.x-IBM948=true
   137 encoding.opt-out.x-IBM949=true
   138 encoding.opt-out.x-IBM949C=true
   139 encoding.opt-out.x-IBM950=true
   140 encoding.opt-out.x-IBM964=true
   141 encoding.opt-out.x-IBM970=true
   142 encoding.opt-out.x-ISCII91=true
   143 encoding.opt-out.x-ISO-2022-CN-CNS=true
   144 encoding.opt-out.x-ISO-2022-CN-GB=true
   145 encoding.opt-out.x-JIS0208=true
   146 encoding.opt-out.x-JISAutoDetect=true
   147 encoding.opt-out.x-Johab=true
   148 encoding.opt-out.x-MS932_0213=true
   149 encoding.opt-out.x-MS950-HKSCS=true
   150 encoding.opt-out.x-MacArabic=true
   151 encoding.opt-out.x-MacCentralEurope=true
   152 encoding.opt-out.x-MacCroatian=true
   153 encoding.opt-out.x-MacCyrillic=true
   154 encoding.opt-out.x-MacDingbat=true
   155 encoding.opt-out.x-MacGreek=true
   156 encoding.opt-out.x-MacHebrew=true
   157 encoding.opt-out.x-MacIceland=true
   158 encoding.opt-out.x-MacRoman=true
   159 encoding.opt-out.x-MacRomania=true
   160 encoding.opt-out.x-MacSymbol=true
   161 encoding.opt-out.x-MacThai=true
   162 encoding.opt-out.x-MacTurkish=true
   163 encoding.opt-out.x-MacUkraine=true
   164 encoding.opt-out.x-PCK=true
   165 encoding.opt-out.x-SJIS_0213=true
   166 encoding.opt-out.x-UTF-16LE-BOM=true
   167 encoding.opt-out.x-euc-jp-linux=true
   168 encoding.opt-out.x-eucJP-Open=true
   169 encoding.opt-out.x-iso-8859-11=true
   170 encoding.opt-out.x-mswin-936=true
   171 encoding.opt-out.x-windows-50220=true
   172 encoding.opt-out.x-windows-50221=true
   173 encoding.opt-out.x-windows-874=true
   174 encoding.opt-out.x-windows-949=true
   175 encoding.opt-out.x-windows-950=true
   176 encoding.opt-out.x-windows-iso2022jp=true
   177 encodingDetectors=BOM XML-PI buffer-local-property
   178 end.shortcut=
   179 expand-abbrev.shortcut2=CA+SPACE
   180 fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
   181 firstTime=false
   182 focus-buffer-switcher.shortcut2=A+CIRCUMFLEX
   183 home.shortcut=
   184 insert-newline-indent.shortcut=
   185 insert-newline.shortcut=ENTER
   186 isabelle-documentation.dock-position=right
   187 isabelle-find.dock-position=bottom
   188 isabelle-output.dock-position=bottom
   189 isabelle-output.height=174
   190 isabelle-output.width=412
   191 isabelle-sledgehammer.dock-position=bottom
   192 isabelle-symbols.dock-position=bottom
   193 isabelle-theories.dock-position=right
   194 isabelle.complete.label=Complete Isabelle text
   195 isabelle.complete.shortcut2=C+b
   196 isabelle.control-bold.label=Control bold
   197 isabelle.control-bold.shortcut=C+e RIGHT
   198 isabelle.control-reset.label=Control reset
   199 isabelle.control-reset.shortcut=C+e LEFT
   200 isabelle.control-sub.label=Control subscript
   201 isabelle.control-sub.shortcut=C+e DOWN
   202 isabelle.control-sup.label=Control superscript
   203 isabelle.control-sup.shortcut=C+e UP
   204 isabelle.decrease-font-size.label=Decrease font size
   205 isabelle.decrease-font-size.shortcut2=C+SUBTRACT
   206 isabelle.decrease-font-size.shortcut=C+MINUS
   207 isabelle.decrease-font-size2.label=Decrease font size (clone)
   208 isabelle.increase-font-size.label=Increase font size
   209 isabelle.increase-font-size.shortcut2=C+ADD
   210 isabelle.increase-font-size.shortcut=C+PLUS
   211 isabelle.increase-font-size2.label=Increase font size (clone)
   212 isabelle.increase-font-size2.shortcut=C+EQUALS
   213 isabelle.reset-continuous-checking.label=Reset continuous checking
   214 isabelle.reset-font-size.label=Reset font size
   215 isabelle.reset-node-required.label=Reset node required
   216 isabelle.set-continuous-checking.label=Set continuous checking
   217 isabelle.set-node-required.label=Set node required
   218 isabelle.toggle-continuous-checking.label=Toggle continuous checking
   219 isabelle.toggle-continuous-checking.shortcut=C+e ENTER
   220 isabelle.toggle-node-required.label=Toggle node required
   221 isabelle.toggle-node-required.shortcut=C+e SPACE
   222 lang.usedefaultlocale=false
   223 largefilemode=full
   224 line-end.shortcut=END
   225 line-home.shortcut=HOME
   226 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
   227 match-bracket.shortcut2=C+9
   228 next-bracket.shortcut2=C+e C+9
   229 plugin-blacklist.MacOSX.jar=true
   230 plugin.MacOSXPlugin.altDispatcher=false
   231 plugin.MacOSXPlugin.disableOption=true
   232 prev-bracket.shortcut2=C+e C+8
   233 print.font=IsabelleText
   234 recent-buffer.shortcut2=C+CIRCUMFLEX
   235 restore.remote=false
   236 restore=false
   237 select-block.shortcut2=C+8
   238 sidekick-tree.dock-position=right
   239 sidekick.auto-complete-popup-get-focus=true
   240 sidekick.buffer-save-parse=true
   241 sidekick.complete-delay=0
   242 sidekick.complete-instant.toggle=false
   243 sidekick.complete-popup.accept-characters=\\t
   244 sidekick.complete-popup.insert-characters=
   245 sidekick.splitter.location=721
   246 systrayicon=false
   247 tip.show=false
   248 toggle-multi-select.shortcut2=C+NUMBER_SIGN
   249 toggle-rect-select.shortcut2=A+NUMBER_SIGN
   250 twoStageSave=false
   251 vfs.browser.dock-position=floating
   252 view.antiAlias=standard
   253 view.blockCaret=true
   254 view.caretBlink=false
   255 view.eolMarkers=false
   256 view.extendedState=0
   257 view.font=IsabelleText
   258 view.fontsize=18
   259 view.fracFontMetrics=false
   260 view.gutter.fontsize=12
   261 view.gutter.lineNumbers=false
   262 view.gutter.selectionAreaWidth=18
   263 view.height=787
   264 view.middleMousePaste=true
   265 view.showToolbar=false
   266 view.thickCaret=true
   267 view.title=Isabelle/jEdit -\u0020
   268 view.width=1072