File diff r12509:5067b7e184a0 → r12510:3025eceeb262
src/window.cpp
Show inline comments
 
@@ -2556,6 +2556,10 @@ void ReInitAllWindows()
 
	FOR_ALL_WINDOWS_FROM_BACK(w) {
 
		w->ReInit();
 
	}
 

	
 
	/* Make sure essential parts of all windows are visible */
 
	RelocateAllWindows(_cur_resolution.width, _cur_resolution.height);
 
	MarkWholeScreenDirty();
 
}
 

	
 
/**