window size and tabbing

When a tab is created the window height increases to accommodate the tab bar. This is OK, but undesirable. However, the issue is that the window height doesn't come back to normal when the tab is closed and the tab bar is gone. So, every time a tab is opened and closed the window height keeps on increasing.

Ideally, 1) either, opening or closing tabs shouldn't change window size, 2) or, if opening increases height, closing should revert the height back to the original height.

[medicalwei]

We are actually working on this issue for a while, and find it hard to solve if we want the window size to increase.

However the solution 1 isn't ideal neither because the window size will be fitted to the grid (hinted in GTK+ lingo), and tabs appearing / disappearing might cause the window not coming back to its original size.

As of version 0.3 there is a change. Now the window size decreases by 1 line (instead of increasing) every time a tab is opened and closed.