| 349 | } |
| 350 | |
| 351 | void Window::SetWidth(int nwidth) { |
| 352 | if (width != nwidth) { |
| 353 | background_needs_refresh = true; |
| 354 | frame_needs_refresh = true; |
| 355 | } |
| 356 | width = nwidth; |
| 357 | } |
| 358 | |
| 359 | void Window::SetHeight(int nheight) { |
| 360 | if (height != nheight) { |
no outgoing calls
no test coverage detected