刚刚通过 do-dist-upgrade 从 18.04 完整安装升级到 18.10
Gnome 终端中没有滚动条。存在多屏文本。通过终端首选项启用/禁用滚动条（反复操作以防万一）没有明显效果。添加和删除 overlay-scrollbar 包（反复操作以防万一）没有效果。其他应用程序（例如 GIMP、Office Writer、Firefox）中存在滚动条并可正常使用。
我还应该观察什么才能让它们再次可见？
gnome 终端滚动条缺失 Ubuntu 18.10 升级
刚刚通过 do-dist-upgrade 从 18.04 完整安装升级到 18.10
Gnome 终端中没有滚动条。存在多屏文本。通过终端首选项启用/禁用滚动条（反复操作以防万一）没有明显效果。添加和删除 overlay-scrollbar 包（反复操作以防万一）没有效果。其他应用程序（例如 GIMP、Office Writer、Firefox）中存在滚动条并可正常使用。
我还应该观察什么才能让它们再次可见？