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