[PATCH v3 5/8] server: Pass window's per-monitor DPI in set_window_pos.