/jEdit/tags/jedit-4-2-pre4/properties/README.txt

# · Plain Text · 7 lines · 6 code · 1 blank · 0 comment · 0 complexity · 01b4aa69eb812930da4bef22a9bab740 MD5 · raw file 

    

  1. SITE PROPERTIES
    2. 

  2. 

  3. Any property files (with extension .props) placed in this directory will
    4. 

  4. be loaded by jEdit before the user-specific properties. On multi-user
    5. 

  5. machines, this can be used to enforce a site-wide key binding or color
    6. 

  6. scheme, for example. Just copy the relevant entries from your user
    7. 

  7. properties file into a new .props file, and place it in this directory.
    8.