src/main_gui.cpp
changeset 8857 7593af4962e6
parent 8806 4fe163e0b52a
child 8975 678648173fcf
equal deleted inserted replaced
8856:6b8adda843c9 8857:7593af4962e6
  1212 	CLRBITS(w->flags4, WF_WHITE_BORDER_MASK);
  1212 	CLRBITS(w->flags4, WF_WHITE_BORDER_MASK);
  1213 
  1213 
  1214 	WP(w, def_d).data_1 = -1280;
  1214 	WP(w, def_d).data_1 = -1280;
  1215 }
  1215 }
  1216 
  1216 
       
  1217 /**
       
  1218  * Size of the application screen changed.
       
  1219  * Adapt the game screen-size, re-allocate the open windows, and repaint everything
       
  1220  */
  1217 void GameSizeChanged()
  1221 void GameSizeChanged()
  1218 {
  1222 {
  1219 	_cur_resolution[0] = _screen.width;
  1223 	_cur_resolution[0] = _screen.width;
  1220 	_cur_resolution[1] = _screen.height;
  1224 	_cur_resolution[1] = _screen.height;
  1221 	RelocateAllWindows(_screen.width, _screen.height);
  1225 	RelocateAllWindows(_screen.width, _screen.height);