PageRenderTime 42ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/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
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. SITE PROPERTIES
  2. Any property files (with extension .props) placed in this directory will
  3. be loaded by jEdit before the user-specific properties. On multi-user
  4. machines, this can be used to enforce a site-wide key binding or color
  5. scheme, for example. Just copy the relevant entries from your user
  6. properties file into a new .props file, and place it in this directory.