better Jupyter.keyboard_manager handling

main.js

@@ -181,7 +181,7 @@ define([
 
     var populate_side_panel = function(side_panel) {
         var side_panel_inner = side_panel.find('.side_panel_inner');
-		var inner_content = '<div id="msform"><input type="text" id="mquery" onfocus="Jupyter.keyboard_manager.disable()"><button onclick="search_micka();Jupyter.keyboard_manager.enable()">Search</button></div><div id="msres"></div>';
+		var inner_content = '<div id="msform"><input type="text" id="mquery" onfocus="Jupyter.keyboard_manager.disable()" onfocusout="Jupyter.keyboard_manager.enable()"><button onclick="search_micka();Jupyter.keyboard_manager.enable()">Search</button></div><div id="msres"></div>';
 		side_panel_inner.append(inner_content);
     };