src/Tools/jEdit/dist-template/properties/jedit.props
author wenzelm
Fri, 26 Jun 2009 18:24:03 +0200
changeset 34623 a356a8ee6f00
parent 34619 e89b6ec97910
child 34626 7124433be8be
permissions -rw-r--r--
renamed UTF-8-isabelle to UTF-8-Isabelle;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34334
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     1
#jEdit properties
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     2
buffer.deepIndent=false
34623
a356a8ee6f00 renamed UTF-8-isabelle to UTF-8-Isabelle;
wenzelm
parents: 34619
diff changeset
     3
buffer.encoding=UTF-8-Isabelle
34334
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     4
buffer.indentSize=2
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     5
buffer.lineSeparator=\n
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     6
buffer.maxLineLen=100
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     7
buffer.noTabs=true
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
     8
buffer.tabSize=2
34619
e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents: 34613
diff changeset
     9
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII
34512
14d70378f1c7 modified netbeans build such that dist can be used as settings-directory for jedit;
immler@in.tum.de
parents: 34425
diff changeset
    10
firstTime=false
14d70378f1c7 modified netbeans build such that dist can be used as settings-directory for jedit;
immler@in.tum.de
parents: 34425
diff changeset
    11
tip.show=false
34334
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    12
encodingDetectors=BOM XML-PI buffer-local-property
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    13
delete-line.shortcut=A+d
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    14
delete.shortcut2=C+d
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    15
view.antiAlias=standard
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    16
view.blockCaret=true
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    17
view.caretBlink=false
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    18
view.eolMarkers=false
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    19
view.extendedState=0
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    20
view.font=Lucida Sans Typewriter
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    21
view.fontsize=18
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    22
view.fracFontMetrics=true
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    23
view.gutter.fontsize=12
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    24
view.middleMousePaste=true
68e172602b86 essential default properties for jEdit;
wenzelm
parents:
diff changeset
    25
view.showToolbar=false
34425
1a574ef87254 tuned sidekick properties;
wenzelm
parents: 34423
diff changeset
    26
buffer.sidekick.keystroke-parse=true
1a574ef87254 tuned sidekick properties;
wenzelm
parents: 34423
diff changeset
    27
sidekick.buffer-save-parse=true
34613
71fb6ab6ec57 default sidekick.complete-delay;
wenzelm
parents: 34556
diff changeset
    28
sidekick.complete-delay=300
34556
09a5984250a2 seperate node for syntax-highlighting
immler@in.tum.de
parents: 34512
diff changeset
    29
mode.isabelle.sidekick.showStatusWindow.label=true
34423
ec74cd63f7cb default docking of sidekick and isabelle-state;
wenzelm
parents: 34334
diff changeset
    30
sidekick-tree.dock-position=right
ec74cd63f7cb default docking of sidekick and isabelle-state;
wenzelm
parents: 34334
diff changeset
    31
isabelle-state.dock-position=bottom