dnl Process this file with autoconf to produce a configure script.
-AC_INIT(editex, [0.0.3])
+AC_INIT(editex, [0.0.4])
AC_CONFIG_SRCDIR(src/TToken.hh)
AM_INIT_AUTOMAKE($AC_PACKAGE_NAME, $AC_PACKAGE_VERSION)
dnl AC_SUBST(GLIB2_CFLAGS)
dnl AC_SUBST(GLIB2_LIBS)
-PKG_CHECK_MODULES(GMETADOM,gdome2-cpp-smart,,AC_MSG_ERROR(can not find gmetadom))
+PKG_CHECK_MODULES(GMETADOM,gdome2-cpp-smart)
AC_SUBST(GMETADOM_CFLAGS)
AC_SUBST(GMETADOM_LIBS)
-PKG_CHECK_MODULES(GDOMEXSLT,gdome2-xslt-cpp-smart,,AC_MSG_ERROR(can not find gdome2-xslt))
+PKG_CHECK_MODULES(GDOMEXSLT,gdome2-xslt-cpp-smart)
AC_SUBST(GDOMEXSLT_CFLAGS)
AC_SUBST(GDOMEXSLT_LIBS)
-PKG_CHECK_MODULES(GTKMATHVIEW,gtkmathview,,AC_MSG_ERROR(can not find gtkmathview))
+PKG_CHECK_MODULES(GTKMATHVIEW,gtkmathview)
AC_SUBST(GTKMATHVIEW_CFLAGS)
AC_SUBST(GTKMATHVIEW_LIBS)
#include <gtk/gtk.h>
#include <gdk/gdkkeysyms.h>
-#include <gtkmathview/gtkmathview.h>
+#include <gtkmathview.h>
#include "guiGTK.h"
#define XLINK_NS_URI "http://www.w3.org/1999/xlink"
static void file_re_open(GtkWidget*, gpointer);
static void file_close(GtkWidget*, gpointer);
static void file_output_tex(GtkWidget*, gpointer);
-static void options_font_manager(GtkWidget*, FontManagerId);
static void options_set_font_size(GtkWidget*, gpointer);
static void options_change_font_size(GtkWidget*, gboolean);
static void options_verbosity(GtkWidget*, guint);
{ "/Options/Default Font Size/sep1", NULL, NULL, 0, "<Separator>" },
{ "/Options/Default Font Size/Larger", NULL, options_change_font_size, TRUE, NULL },
{ "/Options/Default Font Size/Smaller", NULL, options_change_font_size, FALSE, NULL },
- { "/Options/Font Manager", NULL, NULL, 0, "<Branch>" },
- { "/Options/Font Manager/_GTK", NULL, options_font_manager, FONT_MANAGER_GTK, "<RadioItem>" },
- { "/Options/Font Manager/_Type 1", NULL, options_font_manager, FONT_MANAGER_T1, "/Options/Font Manager/GTK" },
{ "/Options/Verbosity", NULL, NULL, 0, "<Branch>" },
{ "/Options/Verbosity/_Errors", NULL, options_verbosity, 0, "<RadioItem>" },
{ "/Options/Verbosity/_Warnings", NULL, options_verbosity, 1, "/Options/Verbosity/Errors" },
gtk_main();
}
+#if 0
void
GUI_set_font_manager(FontManagerId id)
{
gtk_math_view_thaw(math_view);
}
+#endif
static void
store_filename(GtkFileSelection* selector, GtkWidget* user_data)
edit_output_tex(context);
}
+#if 0
static void
options_font_manager(GtkWidget* widget, FontManagerId id)
{
g_return_if_fail(id != FONT_MANAGER_UNKNOWN);
GUI_set_font_manager(id);
}
+#endif
static void
options_anti_aliasing(GtkWidget* widget, gpointer data)