2012-05-11, 23:16
(2012-05-11, 17:31)artrafael Wrote: Were you using Gnome 3 when you were having the problem? If so, maybe it's related to this thread?
Yes, I am using G3. I had a few system updates since my first post and have reason to believe that one of the updates may have corrected this issue.
Thanks anyway for your pointer, useful to know for any other installations with Gnome 3.