| 1170 | } |
| 1171 | |
| 1172 | void |
| 1173 | ViewObjectUI::grab_mouse (ViewService *obj, bool a) |
| 1174 | { |
| 1175 | obj->m_abs_grab = a; // not used currently |
| 1176 | |
| 1177 | // only add to m_grabbed if not grabbed already |
| 1178 | std::list<ViewService *>::iterator g; |
| 1179 | for (g = m_grabbed.begin (); g != m_grabbed.end () && *g != obj; ++g) { |
| 1180 | ; |
| 1181 | } |
| 1182 | if (g == m_grabbed.end ()) { |
| 1183 | m_grabbed.push_front (obj); |
| 1184 | } |
| 1185 | } |
| 1186 | |
| 1187 | void |
| 1188 | ViewObjectUI::ungrab_mouse (ViewService *obj) |