src/Tools/jEdit/src/jEdit.props
author wenzelm
Fri Oct 30 16:31:37 2015 +0100 (2015-10-30 ago)
changeset 61527 c04295685936
parent 61483 07c8d5d8acab
child 61530 82fc5a6231a2
permissions -rw-r--r--
obsolete (see 9c6346319eee, 7924d61b50cf);
     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 buffer.undoCount=1000
    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.GB2312=true
    25 encoding.opt-out.GB18030=true
    26 encoding.opt-out.GBK=true
    27 encoding.opt-out.IBM-Thai=true
    28 encoding.opt-out.IBM00858=true
    29 encoding.opt-out.IBM037=true
    30 encoding.opt-out.IBM01140=true
    31 encoding.opt-out.IBM01141=true
    32 encoding.opt-out.IBM01142=true
    33 encoding.opt-out.IBM01143=true
    34 encoding.opt-out.IBM01144=true
    35 encoding.opt-out.IBM01145=true
    36 encoding.opt-out.IBM01146=true
    37 encoding.opt-out.IBM01147=true
    38 encoding.opt-out.IBM01148=true
    39 encoding.opt-out.IBM01149=true
    40 encoding.opt-out.IBM273=true
    41 encoding.opt-out.IBM277=true
    42 encoding.opt-out.IBM278=true
    43 encoding.opt-out.IBM280=true
    44 encoding.opt-out.IBM284=true
    45 encoding.opt-out.IBM285=true
    46 encoding.opt-out.IBM297=true
    47 encoding.opt-out.IBM420=true
    48 encoding.opt-out.IBM424=true
    49 encoding.opt-out.IBM437=true
    50 encoding.opt-out.IBM500=true
    51 encoding.opt-out.IBM775=true
    52 encoding.opt-out.IBM850=true
    53 encoding.opt-out.IBM852=true
    54 encoding.opt-out.IBM855=true
    55 encoding.opt-out.IBM857=true
    56 encoding.opt-out.IBM860=true
    57 encoding.opt-out.IBM861=true
    58 encoding.opt-out.IBM862=true
    59 encoding.opt-out.IBM863=true
    60 encoding.opt-out.IBM864=true
    61 encoding.opt-out.IBM865=true
    62 encoding.opt-out.IBM866=true
    63 encoding.opt-out.IBM868=true
    64 encoding.opt-out.IBM869=true
    65 encoding.opt-out.IBM870=true
    66 encoding.opt-out.IBM871=true
    67 encoding.opt-out.IBM918=true
    68 encoding.opt-out.IBM1026=true
    69 encoding.opt-out.IBM1047=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-2=true
    75 encoding.opt-out.ISO-8859-3=true
    76 encoding.opt-out.ISO-8859-4=true
    77 encoding.opt-out.ISO-8859-5=true
    78 encoding.opt-out.ISO-8859-6=true
    79 encoding.opt-out.ISO-8859-7=true
    80 encoding.opt-out.ISO-8859-8=true
    81 encoding.opt-out.ISO-8859-9=true
    82 encoding.opt-out.ISO-8859-13=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-31j=true
    98 encoding.opt-out.windows-1250=true
    99 encoding.opt-out.windows-1251=true
   100 encoding.opt-out.windows-1253=true
   101 encoding.opt-out.windows-1254=true
   102 encoding.opt-out.windows-1255=true
   103 encoding.opt-out.windows-1256=true
   104 encoding.opt-out.windows-1257=true
   105 encoding.opt-out.windows-1258=true
   106 encoding.opt-out.x-Big5-Solaris=true
   107 encoding.opt-out.x-EUC-TW=true
   108 encoding.opt-out.x-IBM737=true
   109 encoding.opt-out.x-IBM834=true
   110 encoding.opt-out.x-IBM856=true
   111 encoding.opt-out.x-IBM874=true
   112 encoding.opt-out.x-IBM875=true
   113 encoding.opt-out.x-IBM921=true
   114 encoding.opt-out.x-IBM922=true
   115 encoding.opt-out.x-IBM930=true
   116 encoding.opt-out.x-IBM933=true
   117 encoding.opt-out.x-IBM935=true
   118 encoding.opt-out.x-IBM937=true
   119 encoding.opt-out.x-IBM939=true
   120 encoding.opt-out.x-IBM942=true
   121 encoding.opt-out.x-IBM942C=true
   122 encoding.opt-out.x-IBM943=true
   123 encoding.opt-out.x-IBM943C=true
   124 encoding.opt-out.x-IBM948=true
   125 encoding.opt-out.x-IBM949=true
   126 encoding.opt-out.x-IBM949C=true
   127 encoding.opt-out.x-IBM950=true
   128 encoding.opt-out.x-IBM964=true
   129 encoding.opt-out.x-IBM970=true
   130 encoding.opt-out.x-IBM1006=true
   131 encoding.opt-out.x-IBM1025=true
   132 encoding.opt-out.x-IBM1046=true
   133 encoding.opt-out.x-IBM1097=true
   134 encoding.opt-out.x-IBM1098=true
   135 encoding.opt-out.x-IBM1112=true
   136 encoding.opt-out.x-IBM1122=true
   137 encoding.opt-out.x-IBM1123=true
   138 encoding.opt-out.x-IBM1124=true
   139 encoding.opt-out.x-IBM1381=true
   140 encoding.opt-out.x-IBM1383=true
   141 encoding.opt-out.x-IBM33722=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-874=true
   172 encoding.opt-out.x-windows-949=true
   173 encoding.opt-out.x-windows-950=true
   174 encoding.opt-out.x-windows-50220=true
   175 encoding.opt-out.x-windows-50221=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 foldPainter=Circle
   184 home.shortcut=
   185 insert-newline-indent.shortcut=
   186 insert-newline.shortcut=ENTER
   187 isabelle-debugger.dock-position=floating
   188 isabelle-documentation.dock-position=right
   189 isabelle-output.dock-position=bottom
   190 isabelle-output.height=174
   191 isabelle-output.width=412
   192 isabelle-query.dock-position=bottom
   193 isabelle-simplifier-trace.dock-position=floating
   194 isabelle-sledgehammer.dock-position=bottom
   195 isabelle-state.dock-position=right
   196 isabelle-symbols.dock-position=bottom
   197 isabelle-theories.dock-position=right
   198 isabelle.complete-word.label=Complete word
   199 isabelle.complete.label=Complete Isabelle text
   200 isabelle.complete.shortcut2=C+b
   201 isabelle.control-bold.label=Control bold
   202 isabelle.control-bold.shortcut=C+e RIGHT
   203 isabelle.control-emph.label=Control emphasized
   204 isabelle.control-emph.shortcut=C+e LEFT
   205 isabelle.control-reset.label=Control reset
   206 isabelle.control-reset.shortcut=C+e BACK_SPACE
   207 isabelle.control-sub.label=Control subscript
   208 isabelle.control-sub.shortcut=C+e DOWN
   209 isabelle.control-sup.label=Control superscript
   210 isabelle.control-sup.shortcut=C+e UP
   211 isabelle.decrease-font-size.label=Decrease font size
   212 isabelle.decrease-font-size.shortcut2=C+SUBTRACT
   213 isabelle.decrease-font-size.shortcut=C+MINUS
   214 isabelle.decrease-font-size2.label=Decrease font size (clone)
   215 isabelle.exclude-word-permanently.label=Exclude word permanently
   216 isabelle.exclude-word.label=Exclude word
   217 isabelle.include-word-permanently.label=Include word permanently
   218 isabelle.include-word.label=Include word
   219 isabelle.increase-font-size.label=Increase font size
   220 isabelle.increase-font-size.shortcut2=C+ADD
   221 isabelle.increase-font-size.shortcut=C+PLUS
   222 isabelle.increase-font-size2.label=Increase font size (clone)
   223 isabelle.increase-font-size2.shortcut=C+EQUALS
   224 isabelle.options.label=Isabelle options
   225 isabelle.reset-continuous-checking.label=Reset continuous checking
   226 isabelle.reset-font-size.label=Reset font size
   227 isabelle.reset-node-required.label=Reset node required
   228 isabelle.reset-words.label=Reset non-permanent words
   229 isabelle.set-continuous-checking.label=Set continuous checking
   230 isabelle.set-node-required.label=Set node required
   231 isabelle.toggle-breakpoint.label=Toggle Breakpoint
   232 isabelle.toggle-continuous-checking.label=Toggle continuous checking
   233 isabelle.toggle-continuous-checking.shortcut=C+e ENTER
   234 isabelle.toggle-node-required.label=Toggle node required
   235 isabelle.toggle-node-required.shortcut=C+e SPACE
   236 isabelle.update-state.label=Update state output
   237 isabelle.update-state.shortcut=S+ENTER
   238 lang.usedefaultlocale=false
   239 largefilemode=full
   240 line-end.shortcut=END
   241 line-home.shortcut=HOME
   242 logo.icon.medium=32x32/apps/isabelle.gif
   243 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
   244 match-bracket.shortcut2=C+9
   245 navigator.showOnToolbar=true
   246 next-bracket.shortcut2=C+e C+9
   247 options.textarea.lineSpacing=-2
   248 plugin-blacklist.MacOSX.jar=true
   249 plugin.MacOSXPlugin.altDispatcher=false
   250 plugin.MacOSXPlugin.disableOption=true
   251 prev-bracket.shortcut2=C+e C+8
   252 print.font=IsabelleText
   253 recent-buffer.shortcut2=C+CIRCUMFLEX
   254 restore.remote=false
   255 restore=false
   256 search.subdirs.toggle=true
   257 select-block.shortcut2=C+8
   258 sidekick-tree.dock-position=right
   259 sidekick.auto-complete-popup-get-focus=true
   260 sidekick.buffer-save-parse=true
   261 sidekick.complete-delay=0
   262 sidekick.complete-instant.toggle=false
   263 sidekick.complete-popup.accept-characters=\\t
   264 sidekick.complete-popup.insert-characters=
   265 sidekick.persistentFilter=true
   266 sidekick.showFilter=true
   267 sidekick.splitter.location=721
   268 systrayicon=false
   269 tip.show=false
   270 toggle-multi-select.shortcut2=C+NUMBER_SIGN
   271 toggle-rect-select.shortcut2=A+NUMBER_SIGN
   272 twoStageSave=false
   273 vfs.browser.dock-position=floating
   274 vfs.favorite.0.type=1
   275 vfs.favorite.0=$ISABELLE_HOME
   276 vfs.favorite.1.type=1
   277 vfs.favorite.1=$ISABELLE_HOME_USER
   278 view.antiAlias=standard
   279 view.blockCaret=true
   280 view.caretBlink=false
   281 view.docking.framework=PIDE
   282 view.eolMarkers=false
   283 view.extendedState=0
   284 view.font=IsabelleText
   285 view.fontsize=18
   286 view.fracFontMetrics=false
   287 view.gutter.fontsize=12
   288 view.gutter.lineNumbers=false
   289 view.gutter.selectionAreaWidth=18
   290 view.height=787
   291 view.middleMousePaste=true
   292 view.showToolbar=true
   293 view.thickCaret=true
   294 view.title=Isabelle/jEdit -\u0020
   295 view.width=1072