[mutter] core: Remove meta_core_change_workspace()

[Florian Müllner <fmuellner src gnome org>]

commit 27c7512e4d3aec74d752f51c56a30c1181aaf2b0
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jun 25 16:37:59 2015 +0200

    core: Remove meta_core_change_workspace()
    
    Unused since commit bf64e719a1 (2001!) ...

 src/core/core.c |   12 ------------
 src/core/core.h |    3 ---
 2 files changed, 0 insertions(+), 15 deletions(-)
---
diff --git a/src/core/core.c b/src/core/core.c
index 46283b0..40ab1e6 100644
--- a/src/core/core.c
+++ b/src/core/core.c
@@ -173,18 +173,6 @@ meta_core_toggle_maximize (Display *xdisplay,
 }
 
 void
-meta_core_change_workspace (Display *xdisplay,
-                            Window   frame_xwindow,
-                            int      new_workspace)
-{
-  MetaWindow *window = get_window (xdisplay, frame_xwindow);
-
-  meta_window_change_workspace (window,
-                                meta_screen_get_workspace_by_index (window->screen,
-                                                                    new_workspace));
-}
-
-void
 meta_core_show_window_menu (Display            *xdisplay,
                             Window              frame_xwindow,
                             MetaWindowMenuType  menu,
diff --git a/src/core/core.h b/src/core/core.h
index 988540b..5820223 100644
--- a/src/core/core.h
+++ b/src/core/core.h
@@ -41,9 +41,6 @@ void meta_core_toggle_maximize_horizontally  (Display *xdisplay,
                                               Window   frame_xwindow);
 void meta_core_toggle_maximize_vertically    (Display *xdisplay,
                                               Window   frame_xwindow);
-void meta_core_change_workspace (Display *xdisplay,
-                                 Window   frame_xwindow,
-                                 int      new_workspace);
 
 int meta_core_get_frame_workspace (Display *xdisplay,
                                    Window frame_xwindow);