| 31 | } |
| 32 | |
| 33 | Window::Extent Window::resize(const Extent &new_extent) |
| 34 | { |
| 35 | if (properties.resizable) |
| 36 | { |
| 37 | properties.extent.width = new_extent.width; |
| 38 | properties.extent.height = new_extent.height; |
| 39 | } |
| 40 | |
| 41 | return properties.extent; |
| 42 | } |
| 43 | |
| 44 | const Window::Extent &Window::get_extent() const |
| 45 | { |
no outgoing calls
no test coverage detected