else: # hopefully I can remove this hacky code soon, see bug #216861
panel = wxPanel(self.nb, -1, style=wxCLIP_CHILDREN)
self.ovr = wxHtmlWindow(panel, -1, size=(400, 400))
- self.ovr.SetFonts("", "", [7, 8, 10, 12, 16, 22, 30])
self.nb.AddPage(panel, "Overview")
def OnOvrSize(evt, ovr=self.ovr):