[dev] Global options

[Jan Schneider]

Zitat von Jon Parise <jon@horde.org>:

> 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?

Yes, I first read Horde's prefs.php and then the application's one. Each 
application can override things from Horde this way.

It's getting more complicated if you want to have application preferences 
that extend a preference from Horde like the identities. But I almost 
figured out how to handle this.

Jan.

::::::::::::::::::::::::::::::::::::::::
AMMMa AG - discover your knowledge
:::::::::::::::::::::::::::
Detmolder Str. 25-33 :: D-33604 Bielefeld
fon +49.521.96878-0 :: fax  +49.521.96878-20
http://www.ammma.de
::::::::::::::::::::::::::::::::::::::::::::::