I should probably rephrase this question: what is the name of the Gnome settings executable, or which text file can I hand-edit? Thanks. -- Dotan Cohen http://what-is-what.com http://gibberish.co.il