#ifndef __GTKREPL_H
#define __GTKREPL_H
#include "REPL/REPL"
/*
5D programming language
Copyright (C) 2011  Danny Milosavljevic
This program 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.
This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
*/
#include <5D/Values>
#include <gtk/gtk.h>
struct Config;
namespace REPLX {
struct REPL;
};
namespace GUI {

bool REPL_confirm_close(struct REPL* self);
bool REPL_get_file_modified(struct REPL* self);
bool REPL_save(struct REPL* self, bool B_force_save_dialog);
void REPL_load(struct REPL* self);
void REPL_init(struct REPL* self, GtkWindow* parent);
GtkWidget* REPL_get_widget(struct REPL* self);
struct REPL* REPL_new(GtkWindow* parent);
void REPL_clear(struct REPL* self);
bool interrupted_P(void);

}; // end namespace GUI
#endif /* ndef __GTKREPL_H */