| 2008-11-09 21:41:25 |
Arnaudus |
description |
Binary package hint: gnometab
Gnometab (0.7.4-9) has an annoying bug in Ubuntu 8.10 (Intrepid): the display is not refreshed properly. It is necessary to do something to the window (e.g. changing the size, scrolling and go back...) to get the right display.
To reproduce: Open gnometab. Open a new document. Insert a digit (click on the icon "2", click in the tab, type a digit, and Escape). The digit is not displayed properly (missing, or blank area in the tab). Do something to the window (e.g. maximize). The display is OK.
Remark: the bug might be somewhere else (in gtk-something), but I have observed this issue only with gnometab yet. |
Binary package hint: gnometab
Gnometab (0.7.4-9) has an annoying bug in Ubuntu 8.10 (Intrepid): the display is not refreshed properly. It is necessary to do something to the window (e.g. changing the size, scrolling and go back...) to get the right display.
To reproduce: Open gnometab. Open a new document. Insert a digit (click on the icon "2", click in the tab, type a digit, and Escape). The digit is not displayed properly (missing, or blank area in the tab). Do something to the window (e.g. maximize). The display is OK.
Remark #1: the bug might be somewhere else (in gtk-something), but I have observed this issue only with gnometab yet.
Remark #2; everything was OK with Ubuntu 7.4; same version of gnometab (0.7.4-9). |
|
