color make_window_alpha_scaled_color(const window& window, const color& c) { return color(c, c.get_a() * window.get_alpha()); }