equal
deleted
inserted
replaced
|
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 |
|
10 encodingDetectors=BOM XML-PI buffer-local-property |
|
11 delete-line.shortcut=A+d |
|
12 delete.shortcut2=C+d |
|
13 view.antiAlias=standard |
|
14 view.blockCaret=true |
|
15 view.caretBlink=false |
|
16 view.eolMarkers=false |
|
17 view.extendedState=0 |
|
18 view.font=Lucida Sans Typewriter |
|
19 view.fontsize=18 |
|
20 view.fracFontMetrics=true |
|
21 view.gutter.fontsize=12 |
|
22 view.middleMousePaste=true |
|
23 view.showToolbar=false |