static void decrease_font_size_cb (GtkWidget *widget, gpointer data) { DEBUG_FUNCTION ("decrease_font_size"); DEBUG_ASSERT (widget != NULL); DEBUG_ASSERT (data != NULL); adjust_font_size (widget, data, -1); }
static void decrease_font_size(GtkWidget *widget, gpointer data) { adjust_font_size(widget, data, -1); }
static void increase_font_size(GtkWidget *widget, gpointer data) { adjust_font_size(widget, data, 1.2); }