Update of /cvsroot/pycrust/PyCrust
In directory sc8-pr-cvs1:/tmp/cvs-serv28548
Modified Files:
editor.py
Log Message:
event.Skip()
Index: editor.py
===================================================================
RCS file: /cvsroot/pycrust/PyCrust/editor.py,v
retrieving revision 1.27
retrieving revision 1.28
diff -C2 -d -r1.27 -r1.28
*** editor.py 7 Apr 2003 22:45:07 -0000 1.27
--- editor.py 8 Apr 2003 04:07:05 -0000 1.28
***************
*** 116,120 ****
interp = interpreter.Interpreter(locals={})
self.editor = Editor(interp=interp, parent=self, filename=filename)
- self.editor.SetSize(self.GetClientSize()) # Hack for MS Windows.
self._buffer = self.editor.buffer
self._buffers[self._buffer.id] = self._buffer
--- 116,119 ----
***************
*** 252,256 ****
self._buffers[self._buffer.id] = self._buffer
self._buffer.editor.SetFocus()
- self.crust.Show() # Hack for MS Windows.
def _bufferChange(self, buffer):
--- 251,254 ----
***************
*** 293,297 ****
"""Destroy the current buffer."""
selection = self._notebook.GetSelection()
! print "Destroy Selection:", selection
if selection > 0: # Don't destroy the PyCrust tab.
if self._buffer:
--- 291,295 ----
"""Destroy the current buffer."""
selection = self._notebook.GetSelection()
! ## print "Destroy Selection:", selection
if selection > 0: # Don't destroy the PyCrust tab.
if self._buffer:
***************
*** 329,353 ****
def OnPageChanging(self, event):
"""Page changing event handler."""
! ## old = event.GetOldSelection()
! ## print "Changing:", old
! ## if old > -1:
! ## oldpage = self.GetPage(old)
! ## oldpage.Hide()
! ## print "Hiding:", old
! if wx.wxPlatform == '__WXMSW__':
! for n in range(self.GetPageCount()):
! page = self.GetPage(n)
! ## print "Hiding:", n
! page.Hide()
def OnPageChanged(self, event):
"""Page changed event handler."""
new = event.GetSelection()
! ## print "Changed To Selection:", new
page = self.GetPage(new)
- page.Show()
buffer = page.buffer
buffer.editor.SetFocus()
dispatcher.send(signal='BufferChange', sender=self, buffer=buffer)
--- 327,347 ----
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
page = self.GetPage(new)
buffer = page.buffer
buffer.editor.SetFocus()
dispatcher.send(signal='BufferChange', sender=self, buffer=buffer)
+ event.Skip()
***************
*** 468,478 ****
def OnPageChanged(self, event):
"""Page changed event handler."""
! selection = event.GetSelection()
! print "Changed To Selection:", selection
! page = self.GetPage(selection)
buffer = page.buffer
subselection = page.GetSelection()
page.focus(subselection)
dispatcher.send(signal='BufferChange', sender=self, buffer=buffer)
--- 462,475 ----
def OnPageChanged(self, event):
"""Page changed event handler."""
! ## old = event.GetOldSelection()
! ## print "Changed from old:", old
! new = event.GetSelection()
! ## print "Changed to new:", new
! page = self.GetPage(new)
buffer = page.buffer
subselection = page.GetSelection()
page.focus(subselection)
dispatcher.send(signal='BufferChange', sender=self, buffer=buffer)
+ event.Skip()
***************
*** 517,520 ****
--- 514,518 ----
selection = event.GetSelection()
self.focus(selection)
+ event.Skip()
def focus(self, selection):
|
