[JGloss] Configuration file

[Michael K. <ten...@gm...>]

> Another option would be to change the extension for JGloss annotated
> files from *.jgloss to *.jgl for example.  I think the latter might even
> be the better solution since in the *nix world it is common to put
> configuration in ~/.$NAMEofPROGRAM.

The name and place of the configuration file indeed follows the Unix 
convention, which is not the best solution for Windows systems. However, the 
file is only used with Java 1.3 or JGloss versions before 1.0.3.

When JGloss is used with Java 1.4, the new new Java Preferences API is used, 
which stores the settings in an operating system dependent way: in Windows, 
the registry is used and on *nix, a file in ~/.java/.userPrefs/ is created. 
In this case, you can delete the .jgloss file in the home directory.

The file extension of JGloss might still be changed, because the file format 
changed from JGloss 1 to 2, and I don't know if I will write automatic 
conversion for JGloss 2.

Michael Koch
JGloss developer