| 119 | } |
| 120 | |
| 121 | void |
| 122 | EditorOptionsPage::activate (bool active) |
| 123 | { |
| 124 | if (m_active != active) { |
| 125 | m_active = active; |
| 126 | if (m_active) { |
| 127 | if (mp_owner) { |
| 128 | mp_owner->activate_page (this); |
| 129 | } |
| 130 | activated (); |
| 131 | } else { |
| 132 | deactivated (); |
| 133 | } |
| 134 | } |
| 135 | } |
| 136 | |
| 137 | } |
| 138 |
no test coverage detected