Adjust the font size when DPI of window changes

This commit is contained in:
Vadim Zeitlin
2018-12-30 01:06:19 +01:00
committed by Maarten Bent
parent e3d3a0b7e8
commit e563d4858a
6 changed files with 48 additions and 1 deletions

View File

@@ -501,6 +501,13 @@ public:
// account as well.
static int GetNumericWeightOf(wxFontWeight weight);
// Some ports need to modify the font object when the DPI of the window it
// is used with changes, this function can be used to do it.
//
// Currently it is only used in wxMSW and is not considered to be part of
// wxWidgets public API.
virtual void WXAdjustToPPI(const wxSize& WXUNUSED(ppi)) { }
// this doesn't do anything and is kept for compatibility only
#if WXWIN_COMPATIBILITY_2_8
wxDEPRECATED_INLINE(void SetNoAntiAliasing(bool no = true), wxUnusedVar(no);)