less confusing default;
authorwenzelm
Wed May 06 23:11:01 2015 +0200 (2015-05-06 ago)
changeset 60269652a8e72cb75
parent 60268 6a27919a98f0
child 60270 a147272b16f9
less confusing default;
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Wed May 06 23:04:36 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Wed May 06 23:11:01 2015 +0200
     1.3 @@ -256,6 +256,7 @@
     1.4  sidekick.complete-instant.toggle=false
     1.5  sidekick.complete-popup.accept-characters=\\t
     1.6  sidekick.complete-popup.insert-characters=
     1.7 +sidekick.persistentFilter=true
     1.8  sidekick.showFilter=true
     1.9  sidekick.splitter.location=721
    1.10  systrayicon=false