| 297 | } |
| 298 | |
| 299 | void |
| 300 | PluginDeclaration::set_editable_enabled (bool f) |
| 301 | { |
| 302 | if (f != m_editable_enabled) { |
| 303 | m_editable_enabled = f; |
| 304 | if (mp_editable_mode_action.get ()) { |
| 305 | mp_editable_mode_action->set_checked (f); |
| 306 | } |
| 307 | editable_enabled_changed_event (); |
| 308 | } |
| 309 | } |
| 310 | |
| 311 | void |
| 312 | PluginDeclaration::register_plugin () |
no test coverage detected