/* documents_panel.c generated by valac 0.18.0.1-c1117, the Vala compiler
 * generated from documents_panel.vala, do not modify */

/*
 * This file is part of LaTeXila.
 *
 * Copyright © 2010-2011 Sébastien Wilmet
 *
 * LaTeXila is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * LaTeXila is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with LaTeXila.  If not, see <http://www.gnu.org/licenses/>.
 */

#include <glib.h>
#include <glib-object.h>
#include <gtk/gtk.h>
#include <gdk/gdk.h>
#include <gio/gio.h>
#include <gtksourceview/gtksource.h>


#define TYPE_DOCUMENTS_PANEL (documents_panel_get_type ())
#define DOCUMENTS_PANEL(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_DOCUMENTS_PANEL, DocumentsPanel))
#define DOCUMENTS_PANEL_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_DOCUMENTS_PANEL, DocumentsPanelClass))
#define IS_DOCUMENTS_PANEL(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_DOCUMENTS_PANEL))
#define IS_DOCUMENTS_PANEL_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_DOCUMENTS_PANEL))
#define DOCUMENTS_PANEL_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_DOCUMENTS_PANEL, DocumentsPanelClass))

typedef struct _DocumentsPanel DocumentsPanel;
typedef struct _DocumentsPanelClass DocumentsPanelClass;
typedef struct _DocumentsPanelPrivate DocumentsPanelPrivate;

#define TYPE_DOCUMENT_TAB (document_tab_get_type ())
#define DOCUMENT_TAB(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_DOCUMENT_TAB, DocumentTab))
#define DOCUMENT_TAB_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_DOCUMENT_TAB, DocumentTabClass))
#define IS_DOCUMENT_TAB(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_DOCUMENT_TAB))
#define IS_DOCUMENT_TAB_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_DOCUMENT_TAB))
#define DOCUMENT_TAB_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_DOCUMENT_TAB, DocumentTabClass))

typedef struct _DocumentTab DocumentTab;
typedef struct _DocumentTabClass DocumentTabClass;

#define TYPE_MAIN_WINDOW (main_window_get_type ())
#define MAIN_WINDOW(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_MAIN_WINDOW, MainWindow))
#define MAIN_WINDOW_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_MAIN_WINDOW, MainWindowClass))
#define IS_MAIN_WINDOW(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_MAIN_WINDOW))
#define IS_MAIN_WINDOW_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_MAIN_WINDOW))
#define MAIN_WINDOW_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_MAIN_WINDOW, MainWindowClass))

typedef struct _MainWindow MainWindow;
typedef struct _MainWindowClass MainWindowClass;
#define _g_object_unref0(var) ((var == NULL) ? NULL : (var = (g_object_unref (var), NULL)))
typedef struct _Block13Data Block13Data;

#define TYPE_DOCUMENT (document_get_type ())
#define DOCUMENT(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_DOCUMENT, Document))
#define DOCUMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_DOCUMENT, DocumentClass))
#define IS_DOCUMENT(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_DOCUMENT))
#define IS_DOCUMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_DOCUMENT))
#define DOCUMENT_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_DOCUMENT, DocumentClass))

typedef struct _Document Document;
typedef struct _DocumentClass DocumentClass;

#define TYPE_CLEAN_BUILD_FILES (clean_build_files_get_type ())
#define CLEAN_BUILD_FILES(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_CLEAN_BUILD_FILES, CleanBuildFiles))
#define CLEAN_BUILD_FILES_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_CLEAN_BUILD_FILES, CleanBuildFilesClass))
#define IS_CLEAN_BUILD_FILES(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_CLEAN_BUILD_FILES))
#define IS_CLEAN_BUILD_FILES_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_CLEAN_BUILD_FILES))
#define CLEAN_BUILD_FILES_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_CLEAN_BUILD_FILES, CleanBuildFilesClass))

typedef struct _CleanBuildFiles CleanBuildFiles;
typedef struct _CleanBuildFilesClass CleanBuildFilesClass;

struct _DocumentsPanel {
	GtkNotebook parent_instance;
	DocumentsPanelPrivate * priv;
};

struct _DocumentsPanelClass {
	GtkNotebookClass parent_class;
};

struct _DocumentsPanelPrivate {
	DocumentTab* _active_tab;
	MainWindow* main_window;
};

struct _Block13Data {
	int _ref_count_;
	DocumentsPanel * self;
	DocumentTab* tab;
};


static gpointer documents_panel_parent_class = NULL;

GType documents_panel_get_type (void) G_GNUC_CONST;
GType document_tab_get_type (void) G_GNUC_CONST;
GType main_window_get_type (void) G_GNUC_CONST;
#define DOCUMENTS_PANEL_GET_PRIVATE(o) (G_TYPE_INSTANCE_GET_PRIVATE ((o), TYPE_DOCUMENTS_PANEL, DocumentsPanelPrivate))
enum  {
	DOCUMENTS_PANEL_DUMMY_PROPERTY,
	DOCUMENTS_PANEL_ACTIVE_TAB
};
DocumentsPanel* documents_panel_new (MainWindow* main_window);
DocumentsPanel* documents_panel_construct (GType object_type, MainWindow* main_window);
static void __lambda93_ (DocumentsPanel* self, GtkWidget* page, guint page_num);
static void documents_panel_set_active_tab (DocumentsPanel* self, DocumentTab* value);
static void ___lambda93__gtk_notebook_switch_page (GtkNotebook* _sender, GtkWidget* page, guint page_num, gpointer self);
void documents_panel_add_tab (DocumentsPanel* self, DocumentTab* tab, gint position, gboolean jump_to);
static Block13Data* block13_data_ref (Block13Data* _data13_);
static void block13_data_unref (void * _userdata_);
GtkGrid* document_tab_get_label (DocumentTab* self);
static gboolean __lambda84_ (Block13Data* _data13_, GdkEventButton* event);
static gboolean ___lambda84__gtk_widget_button_press_event (GtkWidget* _sender, GdkEventButton* event, gpointer self);
void documents_panel_remove_tab (DocumentsPanel* self, DocumentTab* tab);
GType document_get_type (void) G_GNUC_CONST;
Document* document_tab_get_document (DocumentTab* self);
CleanBuildFiles* clean_build_files_new (MainWindow* main_window, Document* doc);
CleanBuildFiles* clean_build_files_construct (GType object_type, MainWindow* main_window, Document* doc);
GType clean_build_files_get_type (void) G_GNUC_CONST;
void clean_build_files_clean (CleanBuildFiles* self);
void documents_panel_remove_all_tabs (DocumentsPanel* self);
DocumentTab* documents_panel_get_active_tab (DocumentsPanel* self);
static void documents_panel_finalize (GObject* obj);
static void _vala_documents_panel_get_property (GObject * object, guint property_id, GValue * value, GParamSpec * pspec);
static void _vala_documents_panel_set_property (GObject * object, guint property_id, const GValue * value, GParamSpec * pspec);


static void __lambda93_ (DocumentsPanel* self, GtkWidget* page, guint page_num) {
	guint _tmp0_;
	GtkWidget* _tmp1_ = NULL;
	g_return_if_fail (page != NULL);
	_tmp0_ = page_num;
	_tmp1_ = gtk_notebook_get_nth_page ((GtkNotebook*) self, (gint) _tmp0_);
	documents_panel_set_active_tab (self, G_TYPE_CHECK_INSTANCE_CAST (_tmp1_, TYPE_DOCUMENT_TAB, DocumentTab));
}


static void ___lambda93__gtk_notebook_switch_page (GtkNotebook* _sender, GtkWidget* page, guint page_num, gpointer self) {
	__lambda93_ (self, page, page_num);
}


DocumentsPanel* documents_panel_construct (GType object_type, MainWindow* main_window) {
	DocumentsPanel * self = NULL;
	MainWindow* _tmp0_;
	g_return_val_if_fail (main_window != NULL, NULL);
	self = (DocumentsPanel*) g_object_new (object_type, NULL);
	_tmp0_ = main_window;
	self->priv->main_window = _tmp0_;
	gtk_notebook_set_scrollable ((GtkNotebook*) self, TRUE);
	g_signal_connect_object ((GtkNotebook*) self, "switch-page", (GCallback) ___lambda93__gtk_notebook_switch_page, self, 0);
	return self;
}


DocumentsPanel* documents_panel_new (MainWindow* main_window) {
	return documents_panel_construct (TYPE_DOCUMENTS_PANEL, main_window);
}


static gpointer _g_object_ref0 (gpointer self) {
	return self ? g_object_ref (self) : NULL;
}


static Block13Data* block13_data_ref (Block13Data* _data13_) {
	g_atomic_int_inc (&_data13_->_ref_count_);
	return _data13_;
}


static void block13_data_unref (void * _userdata_) {
	Block13Data* _data13_;
	_data13_ = (Block13Data*) _userdata_;
	if (g_atomic_int_dec_and_test (&_data13_->_ref_count_)) {
		DocumentsPanel * self;
		self = _data13_->self;
		_g_object_unref0 (_data13_->tab);
		_g_object_unref0 (self);
		g_slice_free (Block13Data, _data13_);
	}
}


static gboolean __lambda84_ (Block13Data* _data13_, GdkEventButton* event) {
	DocumentsPanel * self;
	gboolean result = FALSE;
	GdkEventButton _tmp0_;
	guint _tmp1_;
	self = _data13_->self;
	g_return_val_if_fail (event != NULL, FALSE);
	_tmp0_ = *event;
	_tmp1_ = _tmp0_.button;
	if (_tmp1_ == ((guint) 3)) {
		DocumentTab* _tmp2_;
		gint _tmp3_ = 0;
		GdkEventButton _tmp4_;
		_tmp2_ = _data13_->tab;
		_tmp3_ = gtk_notebook_page_num ((GtkNotebook*) self, (GtkWidget*) _tmp2_);
		gtk_notebook_set_current_page ((GtkNotebook*) self, _tmp3_);
		_tmp4_ = *event;
		g_signal_emit_by_name (self, "right-click", &_tmp4_);
	}
	result = FALSE;
	return result;
}


static gboolean ___lambda84__gtk_widget_button_press_event (GtkWidget* _sender, GdkEventButton* event, gpointer self) {
	gboolean result;
	result = __lambda84_ (self, event);
	return result;
}


void documents_panel_add_tab (DocumentsPanel* self, DocumentTab* tab, gint position, gboolean jump_to) {
	Block13Data* _data13_;
	DocumentTab* _tmp0_;
	DocumentTab* _tmp1_;
	GtkEventBox* _tmp2_;
	GtkEventBox* event_box;
	GtkEventBox* _tmp3_;
	GtkEventBox* _tmp4_;
	DocumentTab* _tmp5_;
	GtkGrid* _tmp6_;
	GtkGrid* _tmp7_;
	GtkEventBox* _tmp8_;
	DocumentTab* _tmp9_;
	GtkEventBox* _tmp10_;
	gint _tmp11_;
	gint _tmp12_ = 0;
	gint page_pos;
	DocumentTab* _tmp13_;
	gboolean _tmp14_;
	g_return_if_fail (self != NULL);
	g_return_if_fail (tab != NULL);
	_data13_ = g_slice_new0 (Block13Data);
	_data13_->_ref_count_ = 1;
	_data13_->self = g_object_ref (self);
	_tmp0_ = tab;
	_tmp1_ = _g_object_ref0 (_tmp0_);
	_g_object_unref0 (_data13_->tab);
	_data13_->tab = _tmp1_;
	_tmp2_ = (GtkEventBox*) gtk_event_box_new ();
	g_object_ref_sink (_tmp2_);
	event_box = _tmp2_;
	_tmp3_ = event_box;
	gtk_event_box_set_visible_window (_tmp3_, FALSE);
	_tmp4_ = event_box;
	_tmp5_ = _data13_->tab;
	_tmp6_ = document_tab_get_label (_tmp5_);
	_tmp7_ = _tmp6_;
	gtk_container_add ((GtkContainer*) _tmp4_, (GtkWidget*) _tmp7_);
	_tmp8_ = event_box;
	g_signal_connect_data ((GtkWidget*) _tmp8_, "button-press-event", (GCallback) ___lambda84__gtk_widget_button_press_event, block13_data_ref (_data13_), (GClosureNotify) block13_data_unref, 0);
	_tmp9_ = _data13_->tab;
	_tmp10_ = event_box;
	_tmp11_ = position;
	_tmp12_ = gtk_notebook_insert_page ((GtkNotebook*) self, (GtkWidget*) _tmp9_, (GtkWidget*) _tmp10_, _tmp11_);
	page_pos = _tmp12_;
	_tmp13_ = _data13_->tab;
	gtk_notebook_set_tab_reorderable ((GtkNotebook*) self, (GtkWidget*) _tmp13_, TRUE);
	_tmp14_ = jump_to;
	if (_tmp14_) {
		gint _tmp15_;
		_tmp15_ = page_pos;
		gtk_notebook_set_current_page ((GtkNotebook*) self, _tmp15_);
	}
	_g_object_unref0 (event_box);
	block13_data_unref (_data13_);
	_data13_ = NULL;
}


void documents_panel_remove_tab (DocumentsPanel* self, DocumentTab* tab) {
	GSettings* _tmp0_;
	GSettings* settings;
	gboolean _tmp1_ = FALSE;
	GSettings* _tmp2_;
	gboolean _tmp3_ = FALSE;
	gboolean _tmp6_;
	DocumentTab* _tmp13_;
	gint _tmp14_ = 0;
	gint pos;
	g_return_if_fail (self != NULL);
	g_return_if_fail (tab != NULL);
	_tmp0_ = g_settings_new ("org.gnome.latexila.preferences.latex");
	settings = _tmp0_;
	_tmp2_ = settings;
	_tmp3_ = g_settings_get_boolean (_tmp2_, "no-confirm-clean");
	if (_tmp3_) {
		GSettings* _tmp4_;
		gboolean _tmp5_ = FALSE;
		_tmp4_ = settings;
		_tmp5_ = g_settings_get_boolean (_tmp4_, "automatic-clean");
		_tmp1_ = _tmp5_;
	} else {
		_tmp1_ = FALSE;
	}
	_tmp6_ = _tmp1_;
	if (_tmp6_) {
		MainWindow* _tmp7_;
		DocumentTab* _tmp8_;
		Document* _tmp9_;
		Document* _tmp10_;
		CleanBuildFiles* _tmp11_;
		CleanBuildFiles* build_files;
		CleanBuildFiles* _tmp12_;
		_tmp7_ = self->priv->main_window;
		_tmp8_ = tab;
		_tmp9_ = document_tab_get_document (_tmp8_);
		_tmp10_ = _tmp9_;
		_tmp11_ = clean_build_files_new (_tmp7_, _tmp10_);
		build_files = _tmp11_;
		_tmp12_ = build_files;
		clean_build_files_clean (_tmp12_);
		_g_object_unref0 (build_files);
	}
	_tmp13_ = tab;
	_tmp14_ = gtk_notebook_page_num ((GtkNotebook*) self, (GtkWidget*) _tmp13_);
	pos = _tmp14_;
	gtk_notebook_remove_page ((GtkNotebook*) self, pos);
	_g_object_unref0 (settings);
}


void documents_panel_remove_all_tabs (DocumentsPanel* self) {
	g_return_if_fail (self != NULL);
	while (TRUE) {
		gint _tmp0_ = 0;
		gint n;
		gint _tmp1_;
		gint _tmp2_;
		GtkWidget* _tmp3_ = NULL;
		DocumentTab* _tmp4_;
		DocumentTab* tab;
		DocumentTab* _tmp5_;
		_tmp0_ = gtk_notebook_get_current_page ((GtkNotebook*) self);
		n = _tmp0_;
		_tmp1_ = n;
		if (_tmp1_ == (-1)) {
			break;
		}
		_tmp2_ = n;
		_tmp3_ = gtk_notebook_get_nth_page ((GtkNotebook*) self, _tmp2_);
		_tmp4_ = _g_object_ref0 (G_TYPE_CHECK_INSTANCE_CAST (_tmp3_, TYPE_DOCUMENT_TAB, DocumentTab));
		tab = _tmp4_;
		_tmp5_ = tab;
		documents_panel_remove_tab (self, _tmp5_);
		_g_object_unref0 (tab);
	}
}


DocumentTab* documents_panel_get_active_tab (DocumentsPanel* self) {
	DocumentTab* result;
	DocumentTab* _tmp0_;
	g_return_val_if_fail (self != NULL, NULL);
	_tmp0_ = self->priv->_active_tab;
	result = _tmp0_;
	return result;
}


static void documents_panel_set_active_tab (DocumentsPanel* self, DocumentTab* value) {
	DocumentTab* _tmp0_;
	DocumentTab* _tmp1_;
	g_return_if_fail (self != NULL);
	_tmp0_ = value;
	_tmp1_ = _g_object_ref0 (_tmp0_);
	_g_object_unref0 (self->priv->_active_tab);
	self->priv->_active_tab = _tmp1_;
	g_object_notify ((GObject *) self, "active-tab");
}


static void documents_panel_class_init (DocumentsPanelClass * klass) {
	documents_panel_parent_class = g_type_class_peek_parent (klass);
	g_type_class_add_private (klass, sizeof (DocumentsPanelPrivate));
	G_OBJECT_CLASS (klass)->get_property = _vala_documents_panel_get_property;
	G_OBJECT_CLASS (klass)->set_property = _vala_documents_panel_set_property;
	G_OBJECT_CLASS (klass)->finalize = documents_panel_finalize;
	g_object_class_install_property (G_OBJECT_CLASS (klass), DOCUMENTS_PANEL_ACTIVE_TAB, g_param_spec_object ("active-tab", "active-tab", "active-tab", TYPE_DOCUMENT_TAB, G_PARAM_STATIC_NAME | G_PARAM_STATIC_NICK | G_PARAM_STATIC_BLURB | G_PARAM_READABLE));
	g_signal_new ("right_click", TYPE_DOCUMENTS_PANEL, G_SIGNAL_RUN_LAST, 0, NULL, NULL, g_cclosure_marshal_VOID__POINTER, G_TYPE_NONE, 1, G_TYPE_POINTER);
}


static void documents_panel_instance_init (DocumentsPanel * self) {
	self->priv = DOCUMENTS_PANEL_GET_PRIVATE (self);
}


static void documents_panel_finalize (GObject* obj) {
	DocumentsPanel * self;
	self = G_TYPE_CHECK_INSTANCE_CAST (obj, TYPE_DOCUMENTS_PANEL, DocumentsPanel);
	_g_object_unref0 (self->priv->_active_tab);
	G_OBJECT_CLASS (documents_panel_parent_class)->finalize (obj);
}


GType documents_panel_get_type (void) {
	static volatile gsize documents_panel_type_id__volatile = 0;
	if (g_once_init_enter (&documents_panel_type_id__volatile)) {
		static const GTypeInfo g_define_type_info = { sizeof (DocumentsPanelClass), (GBaseInitFunc) NULL, (GBaseFinalizeFunc) NULL, (GClassInitFunc) documents_panel_class_init, (GClassFinalizeFunc) NULL, NULL, sizeof (DocumentsPanel), 0, (GInstanceInitFunc) documents_panel_instance_init, NULL };
		GType documents_panel_type_id;
		documents_panel_type_id = g_type_register_static (GTK_TYPE_NOTEBOOK, "DocumentsPanel", &g_define_type_info, 0);
		g_once_init_leave (&documents_panel_type_id__volatile, documents_panel_type_id);
	}
	return documents_panel_type_id__volatile;
}


static void _vala_documents_panel_get_property (GObject * object, guint property_id, GValue * value, GParamSpec * pspec) {
	DocumentsPanel * self;
	self = G_TYPE_CHECK_INSTANCE_CAST (object, TYPE_DOCUMENTS_PANEL, DocumentsPanel);
	switch (property_id) {
		case DOCUMENTS_PANEL_ACTIVE_TAB:
		g_value_set_object (value, documents_panel_get_active_tab (self));
		break;
		default:
		G_OBJECT_WARN_INVALID_PROPERTY_ID (object, property_id, pspec);
		break;
	}
}


static void _vala_documents_panel_set_property (GObject * object, guint property_id, const GValue * value, GParamSpec * pspec) {
	DocumentsPanel * self;
	self = G_TYPE_CHECK_INSTANCE_CAST (object, TYPE_DOCUMENTS_PANEL, DocumentsPanel);
	switch (property_id) {
		case DOCUMENTS_PANEL_ACTIVE_TAB:
		documents_panel_set_active_tab (self, g_value_get_object (value));
		break;
		default:
		G_OBJECT_WARN_INVALID_PROPERTY_ID (object, property_id, pspec);
		break;
	}
}



