+wxString DumpFont(const wxFont *font)
+{
+ // dumps the internal properties of a wxFont in the same order they
+ // are checked by wxFontBase::operator==()
+
+ wxASSERT(font->IsOk());
+
+ wxString s;
+ s.Printf(wxS("%d-%d;%d-%d-%d-%d-%d-%s-%d"),
+ font->GetPointSize(),
+ font->GetPixelSize().x,
+ font->GetPixelSize().y,
+ font->GetFamily(),
+ font->GetStyle(),
+ font->GetWeight(),
+ font->GetUnderlined() ? 1 : 0,
+ font->GetFaceName(),
+ font->GetEncoding());
+
+ return s;
+}