From 27c7512e4d3aec74d752f51c56a30c1181aaf2b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 25 Jun 2015 16:37:59 +0200
Subject: [PATCH] core: Remove meta_core_change_workspace()

Unused since commit bf64e719a1 (2001!) ...
---
 src/core/core.c | 12 ------------
 src/core/core.h |  3 ---
 2 files changed, 15 deletions(-)

diff --git a/src/core/core.c b/src/core/core.c
index 46283b09e..40ab1e613 100644
--- a/src/core/core.c
+++ b/src/core/core.c
@@ -172,18 +172,6 @@ meta_core_toggle_maximize (Display *xdisplay,
     meta_window_maximize (window, META_MAXIMIZE_BOTH);
 }
 
-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,
diff --git a/src/core/core.h b/src/core/core.h
index 988540b01..582022343 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);