take pixel sizes into account as well when comparing fonts, not just point sizes which could be the same for fonts with slightly different height in pixels or, worse, the fonts with the same height but compeltely different widths

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@39938 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Vadim Zeitlin 2006-07-02 12:47:59 +00:00
parent 9d11268884
commit cc3de8a3fc

View File

@ -328,6 +328,7 @@ bool wxFontBase::operator==(const wxFont& font) const
(
Ok() == font.Ok() &&
GetPointSize() == font.GetPointSize() &&
GetPixelSize() == font.GetPixelSize() &&
GetFamily() == font.GetFamily() &&
GetStyle() == font.GetStyle() &&
GetWeight() == font.GetWeight() &&