Project

Profile

Help

Revision f378d95f

IDf378d95f98dcbd98941b180caf55dd255ee588fe
Parent b315125d
Child 9d93b0bd

Added by Vincent Le Goff over 1 year ago

Attempt to fix #106

View differences:

src/ui/window.py
646 646
        """
647 647
        with self.window.lock:
648 648
            clipboard = wx.TextDataObject()
649
            if not wx.TheClipboard.IsOpened():
650
                wx.TheClipboard.Open()
649 651
            success = wx.TheClipboard.GetData(clipboard)
652
            wx.TheClipboard.Close()
650 653
            if success:
651 654
                clipboard = clipboard.GetText()
655
                if self.IsEditing():
656
                    print "no edit"
657
                    self.output.SetInsertionPoint(self.output.GetLastPosition())
658

  
652 659
                input = self.input + clipboard
653 660
                if input.endswith("\n"):
654 661
                    lines = input.splitlines()

Also available in: Unified diff