- bool changeArmColour = FALSE);
-extern void wxDoChangeFont(WXWidget widget, wxFont& font);
+ bool changeArmColour = false);
+extern void wxDoChangeFont(WXWidget widget, const wxFont& font);
+extern void wxGetTextExtent(WXDisplay* display, const wxFont& font,
+ double scale,
+ const wxString& string, int* width, int* height,
+ int* ascent, int* descent);