(svn r18120) -Fix (r18119): sometimes ReInit didn't dirty the new window

src/window.cpp

@@ -519,6 +519,7 @@ void Window::ReInit(int rx, int ry)
 
 	ResizeWindow(this, dx, dy);
 	this->OnResize();
+	this->SetDirty();
 }
 
 /** Find the Window whose parent pointer points to this window