Martin Soto <[EMAIL PROTECTED]> writes: [...]
> It would be trivial to patch gnome-theme-manager to add this key when it > isn't present, but I don't know it that's the right thing to do. I > suppose some program should be responsible for that, and we should make > sure the corresponding Debian package guarantees that the key will be > there, because otherwise people will be seeing a lot of funny crashes. This key is in /etc/gconf/schemas/desktop_gnome_interface.schemas (libgnome2-common package) and this file is registered with gconftool. This key is defined by default to gnome. This key is also used by gnome-theme-manager, then I don't see a problem here. Christian
