[gtk+/quartz-integration] (15 commits) ...Merge branch 'master' into quartz-integration

[John Ralls <jralls src gnome org>]

Summary of changes:

  86794ce... Bug 653450 - gtkfilechooser crashes when added favorite (*)
  88a18a2... quartz: Remove call to deprecated gdk_pointer_ungrab (*)
  d8c00cd... Revert "Add a getter for the accessible type of a widget cl (*)
  3e05518... Drop unneeded includes (*)
  7c2414e... Drop private GtkAccessible api (*)
  3cc22ee... Add some GtkAccessible documentation (*)
  b5f4a56... Updated Hebrew translation. (*)
  1f264dd... Don't use deprecated style api (*)
  58e1f46... Merge branch 'master' into quartz-integration
  f90c154... gdk/x11: Add gdk_x11_device_get_id() (*)
  6aab48e... gdk/x11: Add gdk_x11_device_manager_lookup() (*)
  b5f3014... x11: Skip GenericEvents with no cookie data in the xi2 devi (*)
  7741f5a... theming-engine: Adjust register_property() to recent glib c (*)
  b47149c... Fix up merge differences
  4f76bc4... Merge branch 'master' into quartz-integration

(*) This commit already existed in another branch; no separate mail sent