overlay-scrollbar (0.2.15-0ubuntu1) may have fixed this; its release notes say something about resizing.
overlay-scrollbar (0.2.15-0ubuntu1) may have fixed this; its release notes say something about resizing.