Message253105
| Author |
martin.panter |
| Recipients |
Carlos Pita, johnmorr, martin.panter, neologix, r.david.murray, takluyver |
| Date |
2015年10月16日.23:19:53 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1445037593.86.0.560705017205.issue23735@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
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. |
|