| 3413 | } |
| 3414 | |
| 3415 | bool UICodeEditor::registerGutterSpace( UICodeEditorPlugin* plugin, const Float& pixels, |
| 3416 | int order ) { |
| 3417 | if ( gutterSpaceExists( plugin ) ) |
| 3418 | return false; |
| 3419 | mPluginGutterSpaces.push_back( { plugin, pixels, order } ); |
| 3420 | mPluginsGutterSpace += pixels; |
| 3421 | std::sort( mPluginGutterSpaces.begin(), mPluginGutterSpaces.end(), |
| 3422 | []( const PluginRequestedSpace& left, const PluginRequestedSpace& right ) { |
| 3423 | return left.order < right.order; |
| 3424 | } ); |
| 3425 | return true; |
| 3426 | } |
| 3427 | |
| 3428 | bool UICodeEditor::unregisterGutterSpace( UICodeEditorPlugin* plugin ) { |
| 3429 | for ( size_t i = 0; i < mPluginGutterSpaces.size(); ++i ) { |
no test coverage detected