| 86 | } |
| 87 | |
| 88 | void WindowQt::resize(QResizeEvent * event) |
| 89 | { |
| 90 | if (!m_initialized) |
| 91 | initialize(); |
| 92 | |
| 93 | makeCurrent(); |
| 94 | |
| 95 | QResizeEvent deviceSpecificResizeEvent(event->size() * devicePixelRatio(), event->oldSize() * devicePixelRatio()); |
| 96 | |
| 97 | resizeGL(&deviceSpecificResizeEvent); |
| 98 | |
| 99 | doneCurrent(); |
| 100 | } |
| 101 | |
| 102 | void WindowQt::paint() |
| 103 | { |
no test coverage detected