[Bug 141110] Re: bad handling of gnome-terminal when font size is increased

2008-02-18 Thread Travis Watkins
We fixed this some time ago. ** Changed in: compiz (Ubuntu) Status: Incomplete = Fix Released -- bad handling of gnome-terminal when font size is increased https://bugs.launchpad.net/bugs/141110 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug

[Bug 141110] Re: bad handling of gnome-terminal when font size is increased

2008-02-14 Thread Pedro Villavicencio
Thank you for taking the time to report this bug and helping to make Ubuntu better. You reported this bug a while ago and there hasn't been any activity in it recently. We were wondering is this still an issue for you? Thanks in advance. ** Changed in: compiz (Ubuntu) Status: New =

[Bug 141110] Re: bad handling of gnome-terminal when font size is increased

2007-11-16 Thread Danilo Piazzalunga
Does it still happen with Gutsy final? I tried to reproduce it, but I couldn't. I'm using the intel driver on a i915. -- bad handling of gnome-terminal when font size is increased https://bugs.launchpad.net/bugs/141110 You received this bug notification because you are a member of Ubuntu Bugs,

[Bug 141110] Re: bad handling of gnome-terminal when font size is increased

2007-09-25 Thread Mathieu ALORENT
i can confirm this in gusty tribe 5 with lastest updates -- bad handling of gnome-terminal when font size is increased https://bugs.launchpad.net/bugs/141110 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing