equal
deleted
inserted
replaced
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); |