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
This commit is contained in:
Patrick K. O'Brien
2003-04-17 21:42:54 +00:00
parent 4a1a1d848d
commit f474f6a241

View File

@@ -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)