gtk_quit.c

Go to the documentation of this file.

/*
 
  $Id: gtk_quit.c 23065 2016-03-02 09:05:50Z coelho $
 
  Copyright 1989-2016 MINES ParisTech
 
  This file is part of PIPS.
 
  PIPS 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
  any later version.
 
  PIPS 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 PIPS.  If not, see <http://www.gnu.org/licenses/>.
 
*/
#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
#include <stdio.h>
 
#include <sys/time.h>
#include <sys/resource.h>
 
#include "genC.h"
#include "database.h"
#include "misc.h"
#include "linear.h"
#include "ri.h"
 
#include "ri-util.h"
#include "pipsdbm.h"
#include "top-level.h"
 
#undef test_undefined // also defined in glib included from gtk
#include <gtk/gtk.h>
#include "gpips.h"
 
#define QUICK_QUIT "Quit without saving"
#define CLOSE_QUIT "Close (save) the Workspace & Quit"
#define DELETE_QUIT "Delete the Workspace & Quit"
#define CD_HACK_QUIT "Change Directory (tcl/tk hack)"
 
GtkWidget * quit_menu_item;
 
void cd_notify(GtkWidget * widget, gpointer data) {
        direct_change_directory();
}
 
void quit_notify(GtkWidget * widget, gpointer data) {
        int result;
        string pn;
 
        if ((pn = db_get_current_workspace_name())) {
                string fmt = "Workspace %s not closed";
                char str[SMALL_BUFFER_LENGTH];
                string str1, str2;
        const char *menu_string;
 
                str2 = "Do you really want to quit PIPS?";
                menu_string = gpips_gtk_menu_item_get_label(widget);
                if (strcmp(menu_string, CLOSE_QUIT) == 0)
                        str1 = " ";
                else
                        str1 = "-=< Resources can get lost! >=-";
 
                sprintf(str, fmt, pn);
 
                GtkWidget * dialog = gtk_message_dialog_new(GTK_WINDOW(main_window),
                                GTK_DIALOG_DESTROY_WITH_PARENT, GTK_MESSAGE_INFO,
                                GTK_BUTTONS_YES_NO,  "%s%s%s",str,str1,str2);
                result = gtk_dialog_run(GTK_DIALOG(dialog));
 
                if (result == GTK_RESPONSE_NO)
                        return;
                else if (strcmp(menu_string, CLOSE_QUIT) == 0)
                        close_workspace(TRUE);
                else if (strcmp(menu_string, DELETE_QUIT) == 0) {
                        int win = 0;
 
                        /* Destroy all the windows (close open files) */
                        for (win = 0; win < number_of_gpips_windows; win++)
                                gtk_widget_destroy(edit_window[win]);
 
                        check_delete_workspace(pn, FALSE);
                }
 
        }
 
        /* Clear the log window to avoid the message about the edited
         state:
         clear_log_subwindow(NULL, NULL);
         Does not work...
         Quit:
         xv_destroy[_safe](main_frame);
         */
        /* Exit xv_main_loop() at top level: */
        gtk_main_quit();
}
 
void create_quit_button() {
        GtkWidget * quit_menu;
 
        quit_menu = gtk_menu_new();
        quit_menu_item = gtk_menu_item_new_with_label("Quit");
        gtk_menu_item_set_submenu(GTK_MENU_ITEM(quit_menu_item), quit_menu);
 
        GtkWidget * menu_item;
 
        menu_item = gtk_menu_item_new_with_label(CLOSE_QUIT);
        g_signal_connect(G_OBJECT(menu_item), "activate", G_CALLBACK(quit_notify),
                        NULL);
        gtk_menu_append(GTK_MENU(quit_menu), menu_item);
 
        menu_item = gtk_menu_item_new_with_label(QUICK_QUIT);
        g_signal_connect(G_OBJECT(menu_item), "activate", G_CALLBACK(quit_notify),
                        NULL);
        gtk_menu_append(GTK_MENU(quit_menu), menu_item);
 
        menu_item = gtk_menu_item_new_with_label(DELETE_QUIT);
        g_signal_connect(G_OBJECT(menu_item), "activate", G_CALLBACK(quit_notify),
                        NULL);
        gtk_menu_append(GTK_MENU(quit_menu), menu_item);
 
        menu_item = gtk_menu_item_new_with_label(CD_HACK_QUIT);
        g_signal_connect(G_OBJECT(menu_item), "activate", G_CALLBACK(cd_notify),
                        NULL);
        gtk_menu_append(GTK_MENU(quit_menu), menu_item);
 
        gtk_widget_show(quit_menu_item);
        gtk_widget_show_all(quit_menu);
        gtk_menu_bar_append(GTK_MENU_BAR(main_window_menu_bar), quit_menu_item);
}