On Mon, 2003-03-10 at 19:23, Sean Proctor wrote: > You can add new keys in gconf-editor.
Yeah we know, but that adds a whole new stratum of options to the thing. So far we'd got a) options available in the standard-GUI b) options available in gconf-editor And now, additionally, c) options that would be available in gconf-editor if the keys were set, but can be added via command line anyway How does one know which options should be b) and which c), and is it a bug if it's only c)?

