Method getGutterSpace

src/eepp/ui/uicodeeditor.cpp:3385–3391

}

Float UICodeEditor::getGutterSpace( UICodeEditorPlugin* plugin ) const {
	for ( const auto& space : mPluginGutterSpaces ) {
		if ( space.plugin == plugin )
			return space.space;
	}
	return 0;
}

Float UICodeEditor::getPluginsGutterSpace() const {
	return mPluginsGutterSpace;