Tree [d97c9a] 4.5.x / properties /

File Date Author Commit
 README.txt 2001-06-28 Slava Pestov Slava Pestov [2a45fa] import of auxiliary files for jEdit-3.2pre4

Read Me


Any property files (with extension .props) placed in this directory will
be loaded by jEdit before the user-specific properties. On multi-user
machines, this can be used to enforce a site-wide key binding or color
scheme, for example. Just copy the relevant entries from your user
properties file into a new .props file, and place it in this directory.