Hide mouse when it leaves the display
Fix SkinTheme::paintMenuItem() painting code
Fix double-click issues

- Fix double-click behavior when double-clicks are generated from
  Manager::generateMouseMessages().
- Add Widget::setDoubleClickeable/isDoubleClickeable() member functions
  for widgets that accept double-clicks.