helm/DEVEL/mathml_editor/test/guiGTK.h

   1 /* This file is part of EdiTeX, an editor of mathematical
   2  * expressions based on TeX syntax.
   3  *
   4  * Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
   5  *                    2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
   6  *
   7  * This library is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU Lesser General Public
   9  * License as published by the Free Software Foundation; either
  10  * version 2.1 of the License, or (at your option) any later version.
  11  *
  12  * This library is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15  * Lesser General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU Lesser General Public
  18  * License along with this library; if not, write to the Free Software
  19  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  20  *
  21  * For more information, please visit the project's home page
  22  * http://helm.cs.unibo.it/editex/
  23  * or send an email to <lpadovan@cs.unibo.it>
  24  */
  25
  26 #ifndef guiGTK_h
  27 #define guiGTK_h
  28
  29 #include <glib.h>
  30
  31 #include <gtkmathview/gtkmathview.h>
  32
  33 #ifdef __cplusplus
  34 extern "C" {
  35 #endif
  36
  37   /* initGUI: some initialization stuff, creates the main window, sets it with a title */
  38   void GUI_init(int *, char ***, char *, guint, guint, gpointer);
  39   void GUI_uninit(void);
  40
  41   int  GUI_load_document(GdomeDocument*);
  42   int  GUI_load_uri(const char*);
  43   void GUI_unload_document(void);
  44   void GUI_dump_entities(void);
  45
  46   /* main: this is the main event loop, to be called when the program is ready to run */
  47   void GUI_run(void);
  48
  49   void GUI_freeze(void);
  50   void GUI_thaw(void);
  51
  52   void GUI_set_font_manager(FontManagerId);
  53
  54 #ifdef __cplusplus
  55 }
  56 #endif
  57
  58 #endif /* guiGTK_h */