[Bug 827380] Re: scroll bar disappears when switching tabs

2013-10-02 Thread Egmont Koblinger
Please see https://bugzilla.gnome.org/show_bug.cgi?id=709089#c6 for another use case when the overlay scrollbar is buggy. I suspect that it draws itself incorrectly initially when it hooks up to a GtkAdjustment. Then after modifications to the adjustment it works correctly. ** Bug watch added:

[Bug 827380] Re: scroll bar disappears when switching tabs

2013-10-02 Thread Egmont Koblinger
This is indeed a bug in overlay-scrollbar. When the adjustment changes, the OS_STATE_FULLSIZE flag is updated accordingly and os_bar_show() or os_bar_hide() is invoked as necessary. However... - the flag is not computed initially, nor when mapping the window; - the flag is set when unmapping

[Bug 827380] Re: scroll bar disappears when switching tabs

2011-09-23 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-terminal (Ubuntu) Status: New = Confirmed -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.

[Bug 827380] Re: scroll bar disappears when switching tabs

2011-08-16 Thread Alistair Buxton
No, it works the way I would expect it to in gedit. The scrollbars are always visible if there is more content than can fit in the window, even after switching tabs. ** Changed in: gnome-terminal (Ubuntu) Status: Incomplete = New -- You received this bug notification because you are a

[Bug 827380] Re: scroll bar disappears when switching tabs

2011-08-16 Thread Alistair Buxton
** Attachment added: after.png https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/827380/+attachment/2282934/+files/after.png -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.

[Bug 827380] Re: scroll bar disappears when switching tabs

2011-08-16 Thread Alistair Buxton
** Attachment added: before.png https://bugs.launchpad.net/bugs/827380/+attachment/2282931/+files/before.png -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/827380 Title:

[Bug 827380] Re: scroll bar disappears when switching tabs

2011-08-16 Thread Pedro Villavicencio
that's probably how the overlay scrollbars behave, do you see the same on any other programs like gedit? ** Changed in: gnome-terminal (Ubuntu) Importance: Undecided = Low ** Changed in: gnome-terminal (Ubuntu) Status: New = Incomplete -- You received this bug notification because