SITE PROPERTIES
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 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.
As of jEdit 5.0, keyboard shortcuts should not be placed in this file. If
you want to define a site-wide set of keyboard shortcuts, you should create
a named keymap and place it in the "keymaps" directory.
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|