src/Tools/jEdit/dist-template/properties/jedit.props
changeset 34512 14d70378f1c7
parent 34425 1a574ef87254
child 34556 09a5984250a2
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Sun Feb 01 12:21:07 2009 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Sun Feb 01 12:50:21 2009 +0100
@@ -7,6 +7,8 @@
 buffer.noTabs=true
 buffer.tabSize=2
 fallbackEncodings=US-ASCII ISO-8859-15
+firstTime=false
+tip.show=false
 encodingDetectors=BOM XML-PI buffer-local-property
 delete-line.shortcut=A+d
 delete.shortcut2=C+d