dev-python/drpython/files/drpython-165-tabswitch.patch


1
2
3
4
5
6
7
8
9
10
11
12

--- drNotebook.py	2008-02-15 22:57:01.000000000 +0000
+++ drNotebook.py.new	2008-02-15 23:07:04.000000000 +0000
@@ -513,6 +513,9 @@
         self.grandparent.txtDocumentArray[i].IsActive = True
         self.grandparent.txtDocumentArray[i].OnModified(None)
 
+	# Bug fix - make sure Cut/Copy/Paste/Run etc. use the right document 
+	self.SetTab()
+
         if event is not None:
             event.Skip()