Method SetWidgetDirty

src/window.cpp:558–565

* Invalidate a widget, i.e. mark it as being changed and in need of redraw. * @param widget_index the widget to redraw. */

 * @param widget_index the widget to redraw.
 */
void Window::SetWidgetDirty(WidgetID widget_index) const
{
	/* Sometimes this function is called before the window is even fully initialized */
	auto it = this->widget_lookup.find(widget_index);
	if (it == std::end(this->widget_lookup)) return;

	it->second->SetDirty(this);
}

/**
 * A hotkey has been pressed.