| 440 | } |
| 441 | |
| 442 | void DisplayViewSystem::resize(int new_render_width, int new_render_height) |
| 443 | { |
| 444 | resize_framebuffer(); |
| 445 | internal_recreate_display_texture(m_display_texture_1, DisplayViewSystem::DISPLAY_TEXTURE_UNIT_1, m_display_texture_1.second, new_render_width, new_render_height); |
| 446 | internal_recreate_display_texture(m_display_texture_2, DisplayViewSystem::DISPLAY_TEXTURE_UNIT_2, m_display_texture_2.second, new_render_width, new_render_height); |
| 447 | } |
| 448 | |
| 449 | void DisplayViewSystem::internal_recreate_display_textures_from_display_view(DisplayViewType display_view) |
| 450 | { |