public repaint() as Void:
Requests a repaint of the owning window without changing layout.
Custom widgets call this after a visual state change.
widget.repaint()