src/Tools/jEdit/dist-template/properties/jedit.props
author wenzelm
Thu Jun 25 23:03:09 2009 +0200 (2009-06-25 ago)
changeset 34619 e89b6ec97910
parent 34613 71fb6ab6ec57
child 34623 a356a8ee6f00
permissions -rw-r--r--
added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm@34334
     1
#jEdit properties
wenzelm@34334
     2
buffer.deepIndent=false
wenzelm@34619
     3
buffer.encoding=UTF-8-isabelle
wenzelm@34334
     4
buffer.indentSize=2
wenzelm@34334
     5
buffer.lineSeparator=\n
wenzelm@34334
     6
buffer.maxLineLen=100
wenzelm@34334
     7
buffer.noTabs=true
wenzelm@34334
     8
buffer.tabSize=2
wenzelm@34619
     9
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
immler@34512
    10
firstTime=false
immler@34512
    11
tip.show=false
wenzelm@34334
    12
encodingDetectors=BOM XML-PI buffer-local-property
wenzelm@34334
    13
delete-line.shortcut=A+d
wenzelm@34334
    14
delete.shortcut2=C+d
wenzelm@34334
    15
view.antiAlias=standard
wenzelm@34334
    16
view.blockCaret=true
wenzelm@34334
    17
view.caretBlink=false
wenzelm@34334
    18
view.eolMarkers=false
wenzelm@34334
    19
view.extendedState=0
wenzelm@34334
    20
view.font=Lucida Sans Typewriter
wenzelm@34334
    21
view.fontsize=18
wenzelm@34334
    22
view.fracFontMetrics=true
wenzelm@34334
    23
view.gutter.fontsize=12
wenzelm@34334
    24
view.middleMousePaste=true
wenzelm@34334
    25
view.showToolbar=false
wenzelm@34425
    26
buffer.sidekick.keystroke-parse=true
wenzelm@34425
    27
sidekick.buffer-save-parse=true
wenzelm@34613
    28
sidekick.complete-delay=300
immler@34556
    29
mode.isabelle.sidekick.showStatusWindow.label=true
wenzelm@34423
    30
sidekick-tree.dock-position=right
wenzelm@34423
    31
isabelle-state.dock-position=bottom