New function width_of_m to get the width of M rendered in a widget.
[pspp] / src / ui / gui / helper.h
index 8d18fcf4b44e4b318d5bb29eb4686f389d77afa7..69841a5c491d95b42a504e02d37d6ee54851012b 100644 (file)
@@ -73,5 +73,10 @@ psppire_box_pack_start_defaults (GtkBox *box, GtkWidget *widget)
    implementations rely on this. */
 #define GFUNC_COMPAT_CAST(x) ((GFunc) (void (*)(void)) (x))
 
+
+/* Return the width of an upper case M (in pixels) when rendered onto
+   WIDGET with its current style.  */
+gdouble width_of_m (GtkWidget *widget);
+
 #endif