static void
gtk_syntax_check_window_finalize (GObject *object)
{
GtkSyntax_Check_Window *menu = GTK_SYNTAX_CHECK_WINDOW (object);
GtkSyntax_Check_WindowPrivate *priv = menu->priv;
if (priv->synmg) g_object_unref(priv->synmg);
G_OBJECT_CLASS (gtk_syntax_check_window_parent_class)->finalize (object);
}
static void
gtk_syntax_check_window_dispose (GObject *object)
{
GtkSyntax_Check_Window *menu = GTK_SYNTAX_CHECK_WINDOW (object);
GtkSyntax_Check_WindowPrivate *priv = menu->priv;
if (priv->lint_store) gtk_list_store_clear(priv->lint_store);
G_OBJECT_CLASS (gtk_syntax_check_window_parent_class)->dispose (object);
}
static void main_window_fill_panes(MainWindow *main_window)
{
GtkWidget *pribox = get_widget_from_builder(main_window, "pribox");
main_window->notebook_editor = gtk_notebook_new ();
gtk_notebook_set_scrollable(GTK_NOTEBOOK(main_window->notebook_editor), TRUE);
gtk_widget_show (main_window->notebook_editor);
gtk_box_pack_start(GTK_BOX(pribox), main_window->notebook_editor, TRUE, TRUE, 2);
g_signal_connect (G_OBJECT (main_window->notebook_editor), "switch_page", G_CALLBACK (on_notebook_switch_page), main_window);
g_signal_connect (G_OBJECT (main_window->notebook_editor), "focus-tab", G_CALLBACK (on_notebook_focus_tab), main_window);
/* add syntax check window */
GtkWidget *prin_hbox = get_widget_from_builder(main_window, "prin_hbox");
main_window->pwin = gtk_syntax_check_window_new ();
gtk_box_pack_start(GTK_BOX(prin_hbox), GTK_WIDGET(main_window->pwin), TRUE, TRUE, 2);
gtk_syntax_check_window_run_check(GTK_SYNTAX_CHECK_WINDOW(main_window->pwin), NULL, main_window);
gtk_widget_show (main_window->pwin);
//FIXME: hack to hide syntax pane on start-up
gtk_paned_set_position(GTK_PANED(main_window->pmain_vertical_pane), 10000);
}
void syntax_check_show(MainWindow *main_window)
{
Documentable *doc = document_manager_get_current_documentable(main_window->docmg);
gtk_syntax_check_window_run_check(GTK_SYNTAX_CHECK_WINDOW(main_window->pwin), doc, main_window);
gtk_paned_set_position(GTK_PANED(main_window->pmain_vertical_pane), 200);
}
