the default height option is for new windows, when you change the height of the terminal in a window, it will be kept for this window... it is better like this I think... but I can make a patch for you if you want :)
the default height option is for new windows, when you change the height of the terminal in a window, it will be kept for this window... it is better like this I think... but I can make a patch for you if you want :)