src/window.cpp
changeset 8026 a188ea8201ce
parent 8023 0753dcefda8f
child 8028 e578ea22f371
equal deleted inserted replaced
8025:151e377fde0a 8026:a188ea8201ce
   132 			InvalidateWidget(i);
   132 			InvalidateWidget(i);
   133 		}
   133 		}
   134 	}
   134 	}
   135 }
   135 }
   136 
   136 
   137 void Window::InvalidateWidget(byte widget_index)
   137 void Window::InvalidateWidget(byte widget_index) const
   138 {
   138 {
   139 	const Widget *wi = &this->widget[widget_index];
   139 	const Widget *wi = &this->widget[widget_index];
   140 
   140 
   141 	/* Don't redraw the window if the widget is invisible or of no-type */
   141 	/* Don't redraw the window if the widget is invisible or of no-type */
   142 	if (wi->type == WWT_EMPTY || IsWidgetHidden(widget_index)) return;
   142 	if (wi->type == WWT_EMPTY || IsWidgetHidden(widget_index)) return;