There are some solutions to the problem. Dropping smooth scrolling (but not smooth curved lines) is one of them. Dropping the fixed-position vertical lines is another. Please see the gnome Bugzilla (good idea anyway, no action there for a week).
There are some solutions to the problem. Dropping smooth scrolling (but not smooth curved lines) is one of them. Dropping the fixed-position vertical lines is another.
Please see the gnome Bugzilla (good idea anyway, no action there for a week).