Widget: make Window* constant