##// END OF EJS Templates
Fixed rare bug with continuation prompt deletion.
epatters -
Show More
@@ -672,6 +672,8 b' class ConsoleWidget(QtGui.QWidget):'
672 cursor.movePosition(QtGui.QTextCursor.StartOfBlock,
672 cursor.movePosition(QtGui.QTextCursor.StartOfBlock,
673 QtGui.QTextCursor.KeepAnchor)
673 QtGui.QTextCursor.KeepAnchor)
674 cursor.removeSelectedText()
674 cursor.removeSelectedText()
675 cursor.deletePreviousChar()
676 intercepted = True
675
677
676 # Regular backwards deletion
678 # Regular backwards deletion
677 else:
679 else:
General Comments 0
You need to be logged in to leave comments. Login now