Provide a gtk_widget_override_font() replacement
@swilmet
Submitted by Sébastien Wilmet Link to original bug (#785489)
Description
gtk_widget_override_font() is deprecated. But it is useful for text editors, to implement the zoom in and zoom out actions.
Tepl could provide a replacement. For example:
void tepl_utils_override_font (GtkWidget *widget, const PangoFontDescription *font_desc);