Fix the resize event in the terminal extension
There’s a resize event which can be used to steer the terminal window size properly.
(from redmine: issue id 1882, created on 2014-10-06 by root, closed on 2014-10-08)
- Changesets:
- Revision 1593 by Benjamin Fischer on 2014-10-08T16:22:59Z:
fix resize of terminal, fix #1882
- Revision 1593 by Benjamin Fischer on 2014-10-08T16:22:59Z:
fix resize of terminal, fix #1882