Tangentially, we do have the option to say that sigwinch is just too
much trouble and instead poll the window size when we need it. But
polling every time we update progress may be too often, and doing it
infrequently may cause mess when the window is resized.
Alternatively we could hook that signal from C, and make it just
update a global accessible from python.
Tangentially, we do have the option to say that sigwinch is just too
much trouble and instead poll the window size when we need it. But
polling every time we update progress may be too often, and doing it
infrequently may cause mess when the window is resized.
Alternatively we could hook that signal from C, and make it just
update a global accessible from python.
-- launchpad. net/~mbp/>
Martin <http://