X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2FguiGTK.h;h=ee0ab347ebbbe6fb9d06d9c75cdc302cffdaec60;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=71475541c9e71212af614aa76edb9f5425605be3;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.h b/helm/DEVEL/mathml_editor/test/guiGTK.h index 71475541c..ee0ab347e 100644 --- a/helm/DEVEL/mathml_editor/test/guiGTK.h +++ b/helm/DEVEL/mathml_editor/test/guiGTK.h @@ -1,33 +1,35 @@ -/* - * Copyright (C) 2000, Luca Padovani . +/* This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax. * - * This file is part of GtkMathView, a Gtk widget for MathML. - * - * GtkMathView 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 2 - * of the License, or (at your option) any later version. - * - * GtkMathView is distributed in the hope that it will be useful, + * Copyright (C) 2002-2003 Luca Padovani , + * 2003 Paolo Marinelli . + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library 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 GtkMathView; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - * - * For details, see the GtkMathView World-Wide-Web page, - * http://cs.unibo.it/~lpadovan/mml-widget, or send a mail to - * + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + * For more information, please visit the project's home page + * http://helm.cs.unibo.it/editex/ + * or send an email to */ #ifndef guiGTK_h #define guiGTK_h #include +#include -#include "gtkmathview.h" +#include #ifdef __cplusplus extern "C" { @@ -48,8 +50,6 @@ extern "C" { void GUI_freeze(void); void GUI_thaw(void); - void GUI_set_font_manager(FontManagerId); - #ifdef __cplusplus } #endif