use wx.CallAfter to set the insertion point

[wxWidgets.git] / wxPython / wx / py / editor.py

diff --git a/wxPython/wx/py/editor.py b/wxPython/wx/py/editor.py
index 671ede9e0b0e915e3350667529e6138f8e7a213f..be2f521b9c2c5addcb62f7c42fe07da972463f21 100644 (file)
--- a/wxPython/wx/py/editor.py
+++ b/wxPython/wx/py/editor.py
@@ -365,7 +365,7 @@ class EditorNotebook(wx.Notebook):
 
     def __init__(self, parent):
         """Create EditorNotebook instance."""
-        wx.Notebook.__init__(self, parent, id=-1, style=wx.NO_FULL_REPAINT_ON_RESIZE)
+        wx.Notebook.__init__(self, parent, id=-1, style=wx.CLIP_CHILDREN)
         wx.EVT_NOTEBOOK_PAGE_CHANGING(self, self.GetId(),
                                       self.OnPageChanging)
         wx.EVT_NOTEBOOK_PAGE_CHANGED(self, self.GetId(),