PageRenderTime 95ms CodeModel.GetById 93ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms


Plain Text | 7 lines | 6 code | 1 blank | 0 comment | 0 complexity | 01b4aa69eb812930da4bef22a9bab740 MD5 | raw file
3Any property files (with extension .props) placed in this directory will
4be loaded by jEdit before the user-specific properties. On multi-user
5machines, this can be used to enforce a site-wide key binding or color
6scheme, for example. Just copy the relevant entries from your user
7properties file into a new .props file, and place it in this directory.