On 2005-07-14 23:40:10 +0100, michael wrote: > create the file .Xresources, in your $HOME directory if it's for your > use. you may need to ensure 'xrdb -load $HOME/.Xresources' is run Via the user's app-defaults directory, you don't need to run xrdb. -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA