I don't know if it's normal, but I've gotten into the habit of checking periodically and restarting gnome shell with "Alt-F2 r" if it's high. I do this maybe once a day. _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
