#include <glib.h>
#include <gtk/gtk.h>
+#include "tilda-terminal.h"
+
#define TILDA_TYPE_WINDOW (tilda_window_get_type())
#define TILDA_WINDOW(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TILDA_TYPE_WINDOW, TildaWindow))
#define TILDA_WINDOW_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TILDA_TYPE_WINDOW, TildaWindowClass))
/* Instance Members */
GtkWidget *window;
+ GtkWidget *notebook;
GPtrArray *terms;
gint number;