… | |
… | |
3572 | if (args[0] >= 24) /* set height (chars) */ |
3572 | if (args[0] >= 24) /* set height (chars) */ |
3573 | set_widthheight ((unsigned int)width, |
3573 | set_widthheight ((unsigned int)width, |
3574 | (unsigned int) (args[1] * fheight)); |
3574 | (unsigned int) (args[1] * fheight)); |
3575 | break; |
3575 | break; |
3576 | |
3576 | |
3577 | |
|
|
3578 | /* |
3577 | /* |
3579 | * reports - some output format copied from XTerm |
3578 | * reports - some output format copied from XTerm |
3580 | */ |
3579 | */ |
3581 | case 11: /* report window state */ |
3580 | case 11: /* report window state */ |
3582 | XGetWindowAttributes (xdisp, parent[0], &wattr); |
3581 | XGetWindowAttributes (xdisp, parent[0], &wattr); |