[gnome-builder/document-manager] editor: remove legacy preview code

[Christian Hergert <chergert src gnome org>]

commit 29ef92409013fc19870f88bea73cf4cc74ab4af0
Author: Christian Hergert <christian hergert me>
Date:   Mon Dec 8 21:54:35 2014 -0800

    editor: remove legacy preview code

 src/editor/gb-editor-workspace.c |   44 --------------------------------------
 1 files changed, 0 insertions(+), 44 deletions(-)
---
diff --git a/src/editor/gb-editor-workspace.c b/src/editor/gb-editor-workspace.c
index bfcfb6e..d2fa668 100644
--- a/src/editor/gb-editor-workspace.c
+++ b/src/editor/gb-editor-workspace.c
@@ -88,50 +88,6 @@ save_as_tab (GSimpleAction *action,
 }
 
 static void
-preview_tab (GSimpleAction *action,
-             GVariant      *parameter,
-             gpointer       user_data)
-{
-#if 0
-  GbEditorWorkspacePrivate *priv;
-  GbEditorWorkspace *workspace = user_data;
-  GbTab *preview = NULL;
-  GbTab *tab;
-
-  g_return_if_fail (GB_IS_EDITOR_WORKSPACE (workspace));
-
-  priv = workspace->priv;
-
-  tab = gb_tab_grid_get_active (workspace->priv->tab_grid);
-
-  if (GB_IS_EDITOR_TAB (tab))
-    {
-      preview = gb_editor_tab_preview (GB_EDITOR_TAB (tab));
-
-      if (preview)
-        {
-          /*
-           * This widget might be already consumed in a stack somewhere.
-           * If so, we want to jump to it, otherwise we want to add it
-           * to a stack next to the current tab.
-           */
-          if (!gtk_widget_get_parent (GTK_WIDGET (preview)))
-            {
-              gtk_container_add (GTK_CONTAINER (priv->tab_grid),
-                                 GTK_WIDGET (preview));
-              gb_tab_grid_move_tab_right (priv->tab_grid, preview);
-              gb_tab_grid_focus_tab (priv->tab_grid, tab);
-            }
-          else
-            {
-              g_warning ("TODO: implement refocus tab.");
-            }
-        }
-    }
-#endif
-}
-
-static void
 new_tab (GSimpleAction *action,
          GVariant      *parameter,
          gpointer       user_data)