src/Tools/jEdit/dist-template/properties/jedit.props
changeset 34512 14d70378f1c7
parent 34425 1a574ef87254
child 34556 09a5984250a2
equal deleted inserted replaced
34511:5839e34ef0bd 34512:14d70378f1c7
     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