Distribution: Debian 3.1
Package: gnome-terminal
Severity: normal
Version:  unspecified
Synopsis: drawing error after scrolling with window height that is non-integer multiple of character height
Bugzilla-Product: gnome-terminal
Bugzilla-Component: general
Bugzilla-Version: unspecified
Description:
gnome-terminal (actually, this is most likely a bug in the zvt widget)
draws characters badly when the window height is a non-integer multiple
of the character height. I'll attach a screenshot, but describe the
problem further below.

Steps to reproduce the problem:
1. use dmesg or something to produce long output
2. scroll all the way up
3. maximize gnome-terminal, making sure that the clientheight this is a
non-integer multiple of the character height (use panels with different
heights to achieve this)
4. scroll down using the toolbar buttons

When you do this, you'll observe that the top of the scrolled-in
characters is missing. Assume that the zvt widget's height is say 210,
but each character is 20 pixels high. Now you get a 10 pixel margin at
the bottom where no characters are drawn.
If you scroll up now, this margin gets scrolled up along with the rest
of the window. However, the widget only redraws the newly scrolled in
space, which is 20 pixels because of the character height, and these 20
pixels contain the bottom of the previously half-hidden (but actually
not drawn) character row. This leads to a display where only the bottom
half of the last character row is drawn, and if you scroll up more then
this is in each line.
This also happens a couple of lines up if you scroll up more (mouse
wheel, ...)

I think the solution is to not only redraw the invalidated area (the
lower 20 pixel rows in my example), but the lower 30 pixels (actually
the height of the invalidated area plus the height of the blank margin,
which is (clientheight % characterheight)




------- Bug moved to this database by unknown@bugzilla.gnome.org 2004-11-12 12:06 -------


Unknown platform unknown. Setting to default platform "Other".
Unknown milestone "unknown" in product "gnome-terminal".
   Setting to default milestone for this product, '---'
The original reporter of this bug does not have
   an account here. Reassigning to the person who moved
   it here, unknown@bugzilla.gnome.org.
   Previous reporter was johannes@sipsolutions.net.
Setting to default status "UNCONFIRMED".
Setting qa contact to the default for this product.
   This bug either had no qa contact or an invalid one.