Message253105
One idea might be to synchronously poll the screen size each time before Readline is invoked. Would doing this be such a burden? The polling could be limited to once every 0.1 s or so if it was a big burden. These ways would avoid interfering with signal handlers entirely. |
|
Date |
User |
Action |
Args |
2015-10-16 23:19:54 | martin.panter | set | recipients:
+ martin.panter, r.david.murray, neologix, takluyver, Carlos Pita, johnmorr |
2015-10-16 23:19:53 | martin.panter | set | messageid: <1445037593.86.0.560705017205.issue23735@psf.upfronthosting.co.za> |
2015-10-16 23:19:53 | martin.panter | link | issue23735 messages |
2015-10-16 23:19:53 | martin.panter | create | |
|