Andrea, can you be a bit more explicit? I don't see any properties or functions in the overlay-scrollbar code that we could use. Do you mean have gnome-terminal fake an RTL layout for the scrollbar? (I noticed that the o-s code did respect that setting.)
Andrea, can you be a bit more explicit? I don't see any properties or functions in the overlay-scrollbar code that we could use. Do you mean have gnome-terminal fake an RTL layout for the scrollbar? (I noticed that the o-s code did respect that setting.)