[PyCrust-cvs] PyCrust editor.py,1.27,1.28

[<po...@us...>]

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