Enter key submit search query too

main.js

@@ -181,7 +181,25 @@ 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()" onfocusout="Jupyter.keyboard_manager.enable()"><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()" id="msBtn">Search</button>
+		</div>
+		<div id="msres">
+		</div>
+		<script>
+		var msinput = document.getElementById("mquery");
+		msinput.addEventListener("keyup", function(event) {
+			// Number 13 is the "Enter" key on the keyboard
+			if (event.keyCode === 13) {
+				// Cancel the default action, if needed
+				event.preventDefault();
+				// Trigger the button element with a click
+				document.getElementById("msBtn").click();
+				msinput.blur();
+			}
+		});
+		</script>`;
 		side_panel_inner.append(inner_content);
     };