| … | |
… | |
| 253 | // XDestroyWindow (disp, menuBar.win); |
253 | // XDestroyWindow (disp, menuBar.win); |
| 254 | #endif |
254 | #endif |
| 255 | delete TermWin.drawable; |
255 | delete TermWin.drawable; |
| 256 | // destroy all windows |
256 | // destroy all windows |
| 257 | if (TermWin.parent[0] |
257 | if (TermWin.parent[0] |
| 258 | #if ENABLE_FRILLS |
258 | #if ENABLE_XEMBED |
| 259 | && !rs[Rs_embed] |
259 | && !rs[Rs_embed] |
| 260 | #endif |
260 | #endif |
| 261 | ) |
261 | ) |
| 262 | XDestroyWindow (disp, TermWin.parent[0]); |
262 | XDestroyWindow (disp, TermWin.parent[0]); |
| 263 | } |
263 | } |
| … | |
… | |
| 845 | (void)ioctl (pty.pty, TIOCSWINSZ, &ws); |
845 | (void)ioctl (pty.pty, TIOCSWINSZ, &ws); |
| 846 | |
846 | |
| 847 | #if 0 |
847 | #if 0 |
| 848 | // TIOCSWINSZ⎈ is supposed to do this automatically and correctly |
848 | // TIOCSWINSZ⎈ is supposed to do this automatically and correctly |
| 849 | if (cmd_pid) /* force through to the command */ |
849 | if (cmd_pid) /* force through to the command */ |
| 850 | kill (cmd_pid, SIGWINCH); |
850 | kill (-cmd_pid, SIGWINCH); |
| 851 | #endif |
851 | #endif |
| 852 | } |
852 | } |
| 853 | |
853 | |
| 854 | /*----------------------------------------------------------------------*/ |
854 | /*----------------------------------------------------------------------*/ |
| 855 | /* set_fonts () - load and set the various fonts |
855 | /* set_fonts () - load and set the various fonts |
| … | |
… | |
| 1250 | XWindowAttributes wattr; |
1250 | XWindowAttributes wattr; |
| 1251 | |
1251 | |
| 1252 | if (width == 0 || height == 0) |
1252 | if (width == 0 || height == 0) |
| 1253 | { |
1253 | { |
| 1254 | XGetWindowAttributes (display->display, display->root, &wattr); |
1254 | XGetWindowAttributes (display->display, display->root, &wattr); |
|
|
1255 | |
| 1255 | if (width == 0) |
1256 | if (width == 0) |
| 1256 | width = wattr.width - szHint.base_width; |
1257 | width = wattr.width - szHint.base_width; |
| 1257 | if (height == 0) |
1258 | if (height == 0) |
| 1258 | height = wattr.height - szHint.base_height; |
1259 | height = wattr.height - szHint.base_height; |
| 1259 | } |
1260 | } |
