I use gnome. Where is user account specific display settings (resolution etc) saved in the file system? /Peter