ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
304 stars 26 forks source link

Overlay Scrolling #563

Open garfunkel opened 1 year ago

garfunkel commented 1 year ago

It would be great if the scrollbar could be changed to an overlay scrollbar, similar to the current gnome-console/tilix etc. This would remove the ugliness of having the scrollbar always visible.

amezin commented 1 year ago

According to VTE docs:

Note that altough VteTerminal implements the GtkScrollable interface, you should not place a VteTerminal inside a GtkScrolledWindow container, since they are incompatible. Instead, pack the terminal in a horizontal GtkBox together with a GtkScrollbar which uses the GtkAdjustment returned from gtk_scrollable_get_vadjustment().

That's why you don't see overlay scrollbar in GNOME Terminal too.

However, Console seems to have an overlay scrollbar - maybe it will be possible after Gtk 4 migration (GNOME 45).