When the console is resized the upper part gets bigger, too. That's wasting a lot of space. I'm on Windows. Havn't tested with Linux so far.
Ingo
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list
