Method ungrab_mouse

src/laybasic/laybasic/layViewObject.cc:1187–1197

}

void 
ViewObjectUI::ungrab_mouse (ViewService *obj)
{
  std::list<ViewService *>::iterator g;
  for (g = m_grabbed.begin (); g != m_grabbed.end () && *g != obj; ++g) {
    ;
  }
  if (g != m_grabbed.end ()) {
    m_grabbed.erase (g);
  }
}

void 
ViewObjectUI::freeze (ViewObject *obj)