[mutter] core: Remove unused function

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

commit 0de386965684bd66db6ba50e87d4285652f1b8d1
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Apr 27 18:14:15 2015 -0700

    core: Remove unused function

 src/core/core.c |   13 -------------
 src/core/core.h |    3 ---
 2 files changed, 0 insertions(+), 16 deletions(-)
---
diff --git a/src/core/core.c b/src/core/core.c
index d40df5c..46283b0 100644
--- a/src/core/core.c
+++ b/src/core/core.c
@@ -217,19 +217,6 @@ meta_core_show_window_menu_for_rect (Display            *xdisplay,
   meta_window_show_menu_for_rect (window, menu, rect);
 }
 
-const char*
-meta_core_get_workspace_name_with_index (Display *xdisplay,
-                                         Window   xroot,
-                                         int      index)
-{
-  MetaDisplay *display;
-  MetaWorkspace *workspace;
-
-  display = meta_display_for_x_display (xdisplay);
-  workspace = meta_screen_get_workspace_by_index (display->screen, index);
-  return workspace ? meta_workspace_get_name (workspace) : NULL;
-}
-
 gboolean
 meta_core_begin_grab_op (Display    *xdisplay,
                          Window      frame_xwindow,
diff --git a/src/core/core.h b/src/core/core.h
index f216974..988540b 100644
--- a/src/core/core.h
+++ b/src/core/core.h
@@ -47,9 +47,6 @@ void meta_core_change_workspace (Display *xdisplay,
 
 int meta_core_get_frame_workspace (Display *xdisplay,
                                    Window frame_xwindow);
-const char* meta_core_get_workspace_name_with_index (Display *xdisplay,
-                                                     Window xroot,
-                                                     int    index);
 
 void meta_core_show_window_menu (Display            *xdisplay,
                                  Window              frame_xwindow,