| 1084 | } |
| 1085 | |
| 1086 | void |
| 1087 | GuiApplicationManager::hideSplashScreen() |
| 1088 | { |
| 1089 | #ifdef DEBUG |
| 1090 | boost_adaptbx::floating_point::exception_trapping trap(0); |
| 1091 | #endif |
| 1092 | if (_imp->_splashScreen) { |
| 1093 | _imp->_splashScreen->hide(); |
| 1094 | _imp->_splashScreen->close(); |
| 1095 | _imp->_splashScreen->deleteLater(); |
| 1096 | _imp->_splashScreen = 0; |
| 1097 | } |
| 1098 | } |
| 1099 | |
| 1100 | void |
| 1101 | GuiApplicationManager::setKnobClipBoard(KnobClipBoardType type, |
no test coverage detected