[Bug 973539] No scroll-bar under gnome 3.20, and inconsistent theme