diff --git a/cat/favicon.ico b/cat/favicon.ico new file mode 100644 index 0000000..1f57aac Binary files /dev/null and b/cat/favicon.ico differ diff --git a/cat/js/cat.js b/cat/js/cat.js index 0ddc88c..68fef47 100644 --- a/cat/js/cat.js +++ b/cat/js/cat.js @@ -71,9 +71,9 @@ function displayDetails(caller, number) { $('#fragment'+number).css('display', 'block'); } -function searchText(text) { +function searchText(text, tmid) { $("#searchInput").val(text); - searchHandle(); + searchHandle(tmid); } function showHideSuggestions() { diff --git a/cat/publish.py b/cat/publish.py index fb9d216..d079d97 100755 --- a/cat/publish.py +++ b/cat/publish.py @@ -20,6 +20,7 @@ if len(os.listdir(root_dir))>0: shutil.copytree('js', root_dir+'/js') shutil.copytree('css', root_dir+'/css') shutil.copytree('images', root_dir+'/images') +shutil.copy('favicon.ico', root_dir+'/favicon.ico') versions_dir = 'versions' @@ -48,7 +49,7 @@ for version in versions: if field == 'suggestions': suggestions_html = '' for suggestion in value: - suggestions_html+='