| 1269 | } |
| 1270 | |
| 1271 | void |
| 1272 | ViewObjectUI::touch_bg () |
| 1273 | { |
| 1274 | if (! m_needs_update_bg) { |
| 1275 | m_needs_update_bg = true; |
| 1276 | update (); |
| 1277 | } |
| 1278 | } |
| 1279 | |
| 1280 | void |
| 1281 | ViewObjectUI::set_dismiss_view_objects (bool dismiss) |
no test coverage detected