Comment 21 for bug 1691678

It's not an upstream bug. I checked several other distribution with different themes, none of them is affected. Only Ubuntu's gnome-terminal is affected.

I don't understand why this simple bug is still around after realizing it was reported 3 years ago! I am retrying to home on Ubuntu after several years of leave, but again annoyed by this bug! The report saying 'fixed released' without any fixes!

Please, try to fix these annoying bugs which preventing us to use themes other than default Ones!