Support DPI change in wxStyledTextCtrl

Change to zoom-level and margin width based on the active DPI. Send wxDPIChangedEvent to all controls and windows.
2016-10-16 17:29:51 +02:00
parent 125b2c18ea
commit 62c5b2d8d1
4 changed files with 52 additions and 2 deletions
--- a/include/wx/stc/stc.h
+++ b/include/wx/stc/stc.h
@@ -5479,6 +5479,7 @@ protected:
    void OnKeyDown(wxKeyEvent& evt);
    void OnLoseFocus(wxFocusEvent& evt);
    void OnGainFocus(wxFocusEvent& evt);
+    void OnDPIChanged(wxDPIChangedEvent& evt);
    void OnSysColourChanged(wxSysColourChangedEvent& evt);
    void OnEraseBackground(wxEraseEvent& evt);
    void OnMenu(wxCommandEvent& evt);