| 522 | { |
| 523 | public: |
| 524 | void ensure_depth_buffer(int fb, int width, int height) |
| 525 | { |
| 526 | /* If the backend doesn't have its own framebuffer, then the |
| 527 | * framebuffer is created with a depth buffer. */ |
| 528 | if (required_counter <= 0) |
| 529 | { |
| 530 | return; |
| 531 | } |
| 532 | |
| 533 | attach_buffer(fb, width, height); |
| 534 | } |
| 535 | |
| 536 | void frame_done() |
| 537 | { |