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