From f474f6a241532a8df7476734529e75ef78098c4e Mon Sep 17 00:00:00 2001 From: "Patrick K. O'Brien" Date: Thu, 17 Apr 2003 21:42:54 +0000 Subject: [PATCH] Fix refresh problem on Win98. git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_4_BRANCH@20267 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- wxPython/wxPython/py/editor.py | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/wxPython/wxPython/py/editor.py b/wxPython/wxPython/py/editor.py index d39db1b75e..d1e0b28f25 100644 --- a/wxPython/wxPython/py/editor.py +++ b/wxPython/wxPython/py/editor.py @@ -396,22 +396,15 @@ class EditorNotebook(wx.wxNotebook): text += unchanged if text is not None: self.SetPageText(selection, text) - + self.Refresh() # Needed on Win98. def OnPageChanging(self, event): """Page changing event handler.""" -## old = event.GetOldSelection() -## print "Changing from old:", old -## new = event.GetOldSelection() -## print "Changing to new:", new event.Skip() def OnPageChanged(self, event): """Page changed event handler.""" -## old = event.GetOldSelection() -## print "Changed from:", old new = event.GetSelection() -## print "Changed to new:", new window = self.GetPage(new) dispatcher.send(signal='EditorChange', sender=self, editor=window.editor)