[Bug 845641] Title: No edge scrolling in GNOME for some laptops