| 401 | } |
| 402 | |
| 403 | void TerminalManager::updateMenuColorScheme( UIMenuSubMenu* colorSchemeMenu ) { |
| 404 | if ( mColorSchemeMenusCreatedWithHeight != mApp->uiSceneNode()->getPixelsSize().getHeight() ) { |
| 405 | for ( UIPopUpMenu* menu : mColorSchemeMenus ) |
| 406 | menu->close(); |
| 407 | mColorSchemeMenus.clear(); |
| 408 | auto* newMenu = createColorSchemeMenu(); |
| 409 | newMenu->reloadStyle( true, true ); |
| 410 | colorSchemeMenu->setSubMenu( newMenu ); |
| 411 | } |
| 412 | } |
| 413 | |
| 414 | #if EE_PLATFORM == EE_PLATFORM_WIN |
| 415 | std::string quoteString( std::string str ) { |
no test coverage detected