Re: [ jEdit-users ] Properties file versus properties folder

[Eric B. <el...@gm...>]

Ah. You are referring to the "installation" directory, not the "settings"
directory.

The installation directory is where the jedit.jar file is located. There is
a properties directory there which allows you to specify globally
user-specific properties, as per the README.txt file there.

The settings directory is usually found under your home directory. On window
this is usually under the Documents and Settings directory for your user.
On linux it's here ~/.jedit.  There is a properties file under there which
is used for settings for your user only.

The post on abowman's site is talking about the properties directory under
the installation directory.

Edward, it looks like you may have had a previous global properties file.
Try renaming it to [something].props and just sticking it under the
properties directory. Otherwise, take it and put it under your local
settings directory.

Hope that helps,
Eric

-- 
Learn from the past. Live in the present. Plan for the future.
11101000
http://www.townsfolkdesigns.com/blogs/elberry