Fix bug with search

invalidateOptionsMenu was called way too often because setLoadingState would fire on every console message

code/panes.js

@@ -1,6 +1,11 @@
 // created to start cleaning up "window" interaction
 //
+
+window.currentPane = '';
+
 window.show = function(id) {
+  if(window.currentPane == id) return;
+  window.currentPane = id;
   window.hideall();
 
   runHooks("paneChanged", id);