[mutter/wayland] display: Remove meta_display_get_ignored_modifier_mask

[Jasper St. Pierre <jstpierre src gnome org>]

commit b0ea0afd2f8ef78323b5cb19a804d4d6c4fc3b06
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Apr 7 17:16:29 2014 -0400

    display: Remove meta_display_get_ignored_modifier_mask
    
    It's unused, in both here and in gnome-shell.

 src/core/display.c |   13 -------------
 src/meta/display.h |    2 --
 2 files changed, 0 insertions(+), 15 deletions(-)
---
diff --git a/src/core/display.c b/src/core/display.c
index 8f9e40c..cdcfdd2 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -1378,19 +1378,6 @@ meta_display_get_current_time_roundtrip (MetaDisplay *display)
 }
 
 /**
- * meta_display_get_ignored_modifier_mask:
- * @display: a #MetaDisplay
- *
- * Returns: a mask of modifiers that should be ignored
- *          when matching keybindings to events
- */
-unsigned int
-meta_display_get_ignored_modifier_mask (MetaDisplay *display)
-{
-  return display->ignored_modifier_mask;
-}
-
-/**
  * meta_display_add_ignored_crossing_serial:
  * @display: a #MetaDisplay
  * @serial: the serial to ignore
diff --git a/src/meta/display.h b/src/meta/display.h
index d6cfacf..694d7e9 100644
--- a/src/meta/display.h
+++ b/src/meta/display.h
@@ -92,8 +92,6 @@ guint32 meta_display_get_last_user_time (MetaDisplay *display);
 guint32 meta_display_get_current_time (MetaDisplay *display);
 guint32 meta_display_get_current_time_roundtrip (MetaDisplay *display);
 
-unsigned int meta_display_get_ignored_modifier_mask (MetaDisplay  *display);
-
 GList* meta_display_get_tab_list (MetaDisplay   *display,
                                   MetaTabList    type,
                                   MetaScreen    *screen,