src/Tools/jEdit/src/jEdit.props
changeset 50318 6be9e490d82a
parent 50308 08b55c5ce064
child 50354 4a955d23c79b
equal deleted inserted replaced
50317:4d1590544b91 50318:6be9e490d82a
   212 sidekick.complete-delay=300
   212 sidekick.complete-delay=300
   213 sidekick.complete-instant.toggle=false
   213 sidekick.complete-instant.toggle=false
   214 sidekick.complete-popup.accept-characters=\\n\\t
   214 sidekick.complete-popup.accept-characters=\\n\\t
   215 sidekick.complete-popup.insert-characters=
   215 sidekick.complete-popup.insert-characters=
   216 sidekick.splitter.location=721
   216 sidekick.splitter.location=721
       
   217 systrayicon=false
   217 tip.show=false
   218 tip.show=false
   218 twoStageSave=false
   219 twoStageSave=false
   219 vfs.browser.dock-position=floating
   220 vfs.browser.dock-position=floating
   220 view.antiAlias=standard
   221 view.antiAlias=standard
   221 view.blockCaret=true
   222 view.blockCaret=true