[iitcm] improved search

2015-02-16 01:10:24 +01:00
parent 2e1a5fd1ae
commit 4d6a7df596
2 changed files with 50 additions and 10 deletions
--- a/code/search.js
+++ b/code/search.js
@ -195,6 +195,8 @@ window.search.doSearch = function(term, confirmed) {
  // clear results
  if(term == '') return;

+  if(useAndroidPanes()) show('info');
+
  $('#search').tooltip().tooltip('close');

  window.search.lastSearch = new window.search.Query(term, confirmed);