- size.ws_xpixel = (unsigned short) pty_term_width * font_dimension(0);
- size.ws_ypixel = (unsigned short) pty_term_height * font_dimension(1);
+ size.ws_xpixel = (unsigned short) pty_term_width *
+ font_dimension(pty_frontend, 0);
+ size.ws_ypixel = (unsigned short) pty_term_height *
+ font_dimension(pty_frontend, 1);