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