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