| 3437 | } |
| 3438 | |
| 3439 | bool UICodeEditor::registerTopSpace( UICodeEditorPlugin* plugin, const Float& pixels, int order ) { |
| 3440 | if ( topSpaceExists( plugin ) ) |
| 3441 | return false; |
| 3442 | mPluginTopSpaces.push_back( { plugin, pixels, order } ); |
| 3443 | mPluginsTopSpace += pixels; |
| 3444 | std::sort( mPluginTopSpaces.begin(), mPluginTopSpaces.end(), |
| 3445 | []( const PluginRequestedSpace& left, const PluginRequestedSpace& right ) { |
| 3446 | return left.order < right.order; |
| 3447 | } ); |
| 3448 | return true; |
| 3449 | } |
| 3450 | |
| 3451 | bool UICodeEditor::unregisterTopSpace( UICodeEditorPlugin* plugin ) { |
| 3452 | for ( size_t i = 0; i < mPluginTopSpaces.size(); ++i ) { |
no test coverage detected