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. |
|
| History | |||
|---|---|---|---|
| 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 | |