I cannot reproduce it , which window manager are you using there?

** Changed in: gnome-terminal (Ubuntu)
   Importance: Undecided => Low

** Changed in: gnome-terminal (Ubuntu)
       Status: New => Incomplete

-- 
title and border not painted after widening window
https://bugs.launchpad.net/bugs/588128
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to