author | immler@in.tum.de |
Sun, 01 Feb 2009 12:50:21 +0100 | |
changeset 34512 | 14d70378f1c7 |
parent 34425 | 1a574ef87254 |
child 34556 | 09a5984250a2 |
permissions | -rw-r--r-- |
34334 | 1 |
#jEdit properties |
2 |
buffer.deepIndent=false |
|
3 |
buffer.encoding=UTF-8 |
|
4 |
buffer.indentSize=2 |
|
5 |
buffer.lineSeparator=\n |
|
6 |
buffer.maxLineLen=100 |
|
7 |
buffer.noTabs=true |
|
8 |
buffer.tabSize=2 |
|
9 |
fallbackEncodings=US-ASCII ISO-8859-15 |
|
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 | 12 |
encodingDetectors=BOM XML-PI buffer-local-property |
13 |
delete-line.shortcut=A+d |
|
14 |
delete.shortcut2=C+d |
|
15 |
view.antiAlias=standard |
|
16 |
view.blockCaret=true |
|
17 |
view.caretBlink=false |
|
18 |
view.eolMarkers=false |
|
19 |
view.extendedState=0 |
|
20 |
view.font=Lucida Sans Typewriter |
|
21 |
view.fontsize=18 |
|
22 |
view.fracFontMetrics=true |
|
23 |
view.gutter.fontsize=12 |
|
24 |
view.middleMousePaste=true |
|
25 |
view.showToolbar=false |
|
34425 | 26 |
buffer.sidekick.keystroke-parse=true |
27 |
sidekick.buffer-save-parse=true |
|
34423 | 28 |
sidekick-tree.dock-position=right |
29 |
isabelle-state.dock-position=bottom |