From b0ea0afd2f8ef78323b5cb19a804d4d6c4fc3b06 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 7 Apr 2014 17:16:29 -0400
Subject: [PATCH] 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, 15 deletions(-)

diff --git a/src/core/display.c b/src/core/display.c
index 8f9e40c40..cdcfdd25f 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -1377,19 +1377,6 @@ meta_display_get_current_time_roundtrip (MetaDisplay *display)
   return timestamp;
 }
 
-/**
- * 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
diff --git a/src/meta/display.h b/src/meta/display.h
index d6cfacf89..694d7e95a 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,