This is the same patch as the one I submitted to the Gnome Bugzilla. Since no one ever commented on it there or here, I am explicitly submitting it here for consideration.
This is the same patch as the one I submitted to the Gnome Bugzilla. Since no one ever commented on it there or here, I am explicitly submitting it here for consideration.