X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2FguiGTK.h;h=ee0ab347ebbbe6fb9d06d9c75cdc302cffdaec60;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=61f802272f4a08b5e8af1ba6c79bf2b1da27e0c6;hpb=f761deff2f2f8c0cce674d2885b22a94a972ea85;p=helm.git diff --git a/helm/DEVEL/mathml_editor/test/guiGTK.h b/helm/DEVEL/mathml_editor/test/guiGTK.h index 61f802272..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 +#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