Searched refs:ws_ypixel (Results 1 – 11 of 11) sorted by relevance
170 wsz.ws_ypixel != wsz1.ws_ypixel) { in test2()180 wsz.ws_ypixel != wsz1.ws_ypixel) { in test2()194 wsz.ws_ypixel != wsz2.ws_ypixel) { in test2()
19 unsigned short ws_ypixel; member
195 w.ws_ypixel = ypixel; in pty_change_window_size()
385 unsigned short ws_ypixel; /* vertical size, pixels */ member
570 packet_put_int((u_int)ws.ws_ypixel); in client_check_window_change()2619 packet_put_int((u_int)ws.ws_ypixel); in client_session2_setup()
1754 packet_put_int((u_int)ws.ws_ypixel); in ssh_session()
4236 packet_put_int((u_int)ws.ws_ypixel);
120 ws.ws_row, ws.ws_col, ws.ws_xpixel, ws.ws_ypixel); in decode_winsize()
190 sz.ws_ypixel = ypixel; in Java_com_googlecode_android_1scripting_Exec_setPtyWindowSize()
157 pub ws_ypixel: ::c_ushort,
240 pub ws_ypixel: ::c_ushort,