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