##// END OF EJS Templates
Merge pull request #5121 from minrk/fix-remove-enable...
Min RK -
r15333:b206ed70 merge
parent child Browse files
Show More
@@ -752,9 +752,11 b' 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 that.enable();
757 if (document.activeElement === e[0]) {
758 that.enable();
759 }
758 });
760 });
759 }
761 }
760
762
General Comments 0
You need to be logged in to leave comments. Login now