It may be that I have something wrong with my laptop touchpad; in a while I'll try with an external mouse, and see if it still happens.
Meanwhile, I found another issue: if you start gnome-terminal, when restoring the window via a doubleclick the window is restored to a geometry which is not the same used when restoring it via the titlebar restore button or by dragging the window out of the titlebar: the hight becomes much higher.
Curiously, this does not happen in gedit or firefox, so it's all rather suspicious.
It may be that I have something wrong with my laptop touchpad; in a while I'll try with an external mouse, and see if it still happens.
Meanwhile, I found another issue: if you start gnome-terminal, when restoring the window via a doubleclick the window is restored to a geometry which is not the same used when restoring it via the titlebar restore button or by dragging the window out of the titlebar: the hight becomes much higher.
Curiously, this does not happen in gedit or firefox, so it's all rather suspicious.