equal
deleted
inserted
replaced
5 buffer.lineSeparator=\n |
5 buffer.lineSeparator=\n |
6 buffer.maxLineLen=100 |
6 buffer.maxLineLen=100 |
7 buffer.noTabs=true |
7 buffer.noTabs=true |
8 buffer.tabSize=2 |
8 buffer.tabSize=2 |
9 fallbackEncodings=US-ASCII ISO-8859-15 |
9 fallbackEncodings=US-ASCII ISO-8859-15 |
|
10 firstTime=false |
|
11 tip.show=false |
10 encodingDetectors=BOM XML-PI buffer-local-property |
12 encodingDetectors=BOM XML-PI buffer-local-property |
11 delete-line.shortcut=A+d |
13 delete-line.shortcut=A+d |
12 delete.shortcut2=C+d |
14 delete.shortcut2=C+d |
13 view.antiAlias=standard |
15 view.antiAlias=standard |
14 view.blockCaret=true |
16 view.blockCaret=true |