Just upgraded from a full install of 18.04 to 18.10 via do-dist-upgrade
There are no scrollbars in Gnome terminal. More than one screenful of text is present. Enabling/disabling scrollbar (repeatedly just in case it made a difference) via the terminal preferences has no obvious effect. Adding and removing overlay-scrollbar package (repeatedly just in case it made a difference) has no effect. Scrollbars are present and functional in other applications (e.g. GIMP, Office Writer, Firefox).
Anything else I should be looking at to make them visible again?