Searched refs:pro_screen_window_scale (Results 1 – 4 of 4) sorted by relevance
87 int pro_screen_window_scale = 2; /* vertical window scale factor */ variable752 pro_screen_winheight = pro_screen_window_scale*pro_screen_bufheight; in pro_screen_init()1603 x, y*pro_screen_window_scale, PRO_VID_CLS_PIX, 1, False); in pro_screen_update()1607 x, y*pro_screen_window_scale, PRO_VID_CLS_PIX, 1); in pro_screen_update()1865 pro_mouse_y = (((XMotionEvent*)&event)->y)/pro_screen_window_scale; in pro_screen_service_events()
561 pro_screen_window_scale = i; in pro_reset()
72 int pro_screen_window_scale = 2; /* vertical window scale factor */ variable
753 GLOBAL int pro_screen_window_scale; variable