On Thu, 15 Jan 2004, Robert van Herk wrote: > We (me and cmorgan) were thinking about dropping that tabsheet :-)... That's a good idea, the current UI for app-specific settings is terrible. -- Dimi.