Changeset 1132


Ignore:
Timestamp:
Jun 30, 2011, 9:08:47 PM (6 years ago)
Author:
stefan
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/jlatexeditor/gproperties/GProperties.java

    r1130 r1132  
    119119    properties.addEntry(new Def("editor.auto_completion.activated", BOOLEAN, "false"));
    120120    properties.addEntry(new Def("editor.auto_completion.min_number_of_letters", INT_GT_0, "3"));
    121     properties.addEntry(new Def("editor.auto_completion.delay", INT_GT_0, "200"));
    122121    properties.addEntry(new Def("editor.auto_completion.delay", INT_GT_0, "200"));
    123122    properties.addEntry(new Def("editor.auto_close_environment", BOOLEAN, "true"));
Note: See TracChangeset for help on using the changeset viewer.