[vte] widget: Move some public API to its own file

[Christian Persch <chpe src gnome org>]

commit b71eb78b81d1670d58a8c91e0b152e3c6172c55b
Author: Christian Persch <chpe gnome org>
Date:   Wed Nov 18 21:15:46 2015 +0100

    widget: Move some public API to its own file

 src/vte.cc    |   13 -------------
 src/vtegtk.cc |   13 +++++++++++++
 2 files changed, 13 insertions(+), 13 deletions(-)
---
diff --git a/src/vte.cc b/src/vte.cc
index f1556c8..2639c06 100644
--- a/src/vte.cc
+++ b/src/vte.cc
@@ -2605,19 +2605,6 @@ VteTerminalPrivate::set_pointer_visible(bool visible)
        }
 }
 
-/**
- * vte_terminal_new:
- *
- * Creates a new terminal widget.
- *
- * Returns: (transfer none) (type Vte.Terminal): a new #VteTerminal object
- */
-GtkWidget *
-vte_terminal_new(void)
-{
-       return (GtkWidget *)g_object_new(VTE_TYPE_TERMINAL, NULL);
-}
-
 /*
  * Get the actually used color from the palette.
  * The return value can be NULL only if entry is one of VTE_CURSOR_BG,
diff --git a/src/vtegtk.cc b/src/vtegtk.cc
index 2d48ce8..c04588c 100644
--- a/src/vtegtk.cc
+++ b/src/vtegtk.cc
@@ -1515,6 +1515,19 @@ vte_get_user_shell (void)
 /* VteTerminal public API */
 
 /**
+ * vte_terminal_new:
+ *
+ * Creates a new terminal widget.
+ *
+ * Returns: (transfer none) (type Vte.Terminal): a new #VteTerminal object
+ */
+GtkWidget *
+vte_terminal_new(void)
+{
+       return (GtkWidget *)g_object_new(VTE_TYPE_TERMINAL, nullptr);
+}
+
+/**
  * vte_terminal_copy_clipboard:
  * @terminal: a #VteTerminal
  *