[dev] Global options

[Jon Parise]

On Fri, Nov 16, 2001 at 06:08:00PM +0100, Jan Schneider wrote:

> All prefs that were formerly marked as shared now move to Horde's own 
> config/prefs.php. You can edit these prefs by clicking on a new "Options" 
> button in the Horde menu.
 
What happens when you want to have an unshared preference of the
same name as a global preference in an application?  Does the
application-level preference still take, well, preference?

-- 
Jon Parise (jon@csh.rit.edu)  .  Information Technology (2001)
http://www.csh.rit.edu/~jon/  :  Computer Science House Member