| 344 | } |
| 345 | |
| 346 | void Window::SetCursorRect(Rect const& ncursor_rect) { |
| 347 | if (cursor_rect.width != ncursor_rect.width || cursor_rect.height != ncursor_rect.height) cursor_needs_refresh = true; |
| 348 | cursor_rect = ncursor_rect; |
| 349 | } |
| 350 | |
| 351 | void Window::SetWidth(int nwidth) { |
| 352 | if (width != nwidth) { |