Resizing widgets dynamically

[andrewray]

Is there way to do this other than killing and regenerating the UI?

The event which resizes the terminal seems to do a very similar job.

[ghost]

There doesn't seem to be a way indeed. I think you can force it by doing this on the toplevel widget:

w#set_allocation w#allocation;
w#queue_draw;