()
| 499 | // dimensions or the screen layout changes. A subclass must make |
| 500 | // sure the pixel buffer has been updated once this call returns. |
| 501 | public void resizeFramebuffer() |
| 502 | { |
| 503 | assert(false); |
| 504 | } |
| 505 | |
| 506 | // refreshFramebuffer() forces a complete refresh of the entire |
| 507 | // framebuffer |
no outgoing calls
no test coverage detected