/*

  $Id$

  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 <xview/xview.h>
#include <xview/panel.h>
#include <xview/notice.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"

#include "wpips.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)"

Panel_item quit_button;


void
cd_notify(Menu menu, Menu_item menu_item)
{
    direct_change_directory();
}

void
quit_notify(Menu menu,
            Menu_item menu_item)
{
   Event e;
   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, menu_string;

      str2 = "Do you really want to quit PIPS?";
      menu_string=(string) xv_get(menu_item, MENU_STRING);
      if (strcmp(menu_string,CLOSE_QUIT)==0)
         str1=" ";
      else 
         str1="-=< Resources can get lost! >=-";

      sprintf(str, fmt , pn);

      /* Send to emacs if we are in the emacs mode: */
      if (wpips_emacs_mode)
         send_notice_prompt_to_emacs(str, str1, str2, NULL);
      result =  notice_prompt(xv_find(main_frame, WINDOW, 0), 
                              &e,
                              NOTICE_MESSAGE_STRINGS,
                              str, str1, str2,
                              NULL,
                              NOTICE_BUTTON_YES,	menu_string,
                              NOTICE_BUTTON_NO,	"Cancel",
                              NULL);
      if (result == NOTICE_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_wpips_windows ; win++)
	      xv_destroy(edit_frame[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: */
   notify_stop();
}


void
create_quit_button()
{
   Menu menu;

   menu = xv_create(XV_NULL, MENU_COMMAND_MENU, 
                    MENU_ACTION_ITEM, CLOSE_QUIT, quit_notify,
                    MENU_ACTION_ITEM, QUICK_QUIT, quit_notify,
                    MENU_ACTION_ITEM, DELETE_QUIT, quit_notify,
		    MENU_ACTION_ITEM, CD_HACK_QUIT, cd_notify,
                    NULL);

   quit_button = xv_create(main_panel, PANEL_BUTTON,
                           PANEL_LABEL_STRING, "Quit ",
                           PANEL_ITEM_MENU, menu,
                           NULL);
}