##// END OF EJS Templates
fix remove event in KeyboardManager.register_events...
MinRK -
Show More
@@ -752,9 +752,11 var IPython = (function (IPython) {
752 });
752 });
753 // There are times (raw_input) where we remove the element from the DOM before
753 // There are times (raw_input) where we remove the element from the DOM before
754 // focusout is called. In this case we bind to the remove event of jQueryUI,
754 // focusout is called. In this case we bind to the remove event of jQueryUI,
755 // which gets triggered upon removal.
755 // which gets triggered upon removal, iff it is focused at the time.
756 e.on('remove', function () {
756 e.on('remove', function () {
757 if (document.activeElement === e[0]) {
757 that.enable();
758 that.enable();
759 }
758 });
760 });
759 }
761 }
760
762
General Comments 0
You need to be logged in to leave comments. Login now