gnome-terminal window lose proportion
Submitted by tom..@..il.com
Link to original bug (#707677)
Description
Created attachment 254336 screen capture
I am using Gnome-Shell on Ubuntu 13.04, and gnome-terminal is very essential in my usage pattern. In fact, I use it as a program launcher.
After few hours of having the session open (and also gnome-terminal), I find it difficult to access the terminal window. It doesn't grab focus when I switch to it using Alt-Tab or the applications panel. When I move it to a clean workspace, I can access it, but find that the mouse pointer doesn't appears to send the right coordinations to the application, which means that I may click on the close tab button when I click on a random point in the window (and believe me, it just happened to me!). Also, when I maximize the window, it resizes but not to the whole screen; I think that it resizes to the screen size, but doesn't snap to the top left, so I have invisible area in the window bottom and right side.
When I restart gnome-shell, using 'gnome-shell --replace' it sometimes gets fixed, but shortly after it reproduces again.
Please note that this problem doesn't reproduce to me on any other application than gnome-terminal as far as I know.
Attachment 254336, "screen capture":
_D7_A6_D7_99_D7_9C_D7_95_D7_9D_20_D7_9E_D7_A1_D7_9A_20_D7_9E_D7_94_D7_A7_D7_95_D7_91_D7_A5_2007-09-13_2012_3A50_3A45
Resolution: RESOLVED INCOMPLETE