Re: Question about MacHugs Preferences files

[Pablo Azero]

The structure of a preferences file is:

<preference settings><NL>
<filename>*

where
<filename> -> "<any name>"<NL>
<NL> -> <macos line separator>

Example:

-98 -h500000 -P"{Hugs}:lib:;{Current}:" -T"My Project" 
-V"Monaco/12/0x00" -W"80/40/82/260"
"Test1.hs"
"Test2.hs"
"Test3.hs"

>Well, I thought it would work like that :-), or rather first reading the
>global prefs, and then the local so that the latter overrides the former,
>but evidently it doesn't.

It doesn't. It is possible to do that. I see if tonight I have some
time for this patch. Any suggestions more?

Best,

-----
Pablo