The attached patch fixes the issue by implementing a simple resize to the terminal whenever the scale is changed.
A better solution would be to link the layout of the terminal and vbox to the layout of the screenlet, but I couldn't see how to do that.
The attached patch fixes the issue by implementing a simple resize to the terminal whenever the scale is changed.
A better solution would be to link the layout of the terminal and vbox to the layout of the screenlet, but I couldn't see how to do that.