diff --git a/resources/report/js/events.js b/resources/report/js/events.js index 6b2d41d2..56c23447 100644 --- a/resources/report/js/events.js +++ b/resources/report/js/events.js @@ -15,10 +15,19 @@ function onToggleDisplayCSS(evt) { } else { document.getElementById('main').removeAttribute(attr); } + + if (evt.target.id != 'hideBashTags') { + /* Now perform search again. If there is no current search, this won't + do anything. */ + document.getElementById('searchBar').search(); + } } function onToggleBashTags(evt) { onToggleDisplayCSS(evt); document.getElementById('main').lastElementChild.updateSize(); + /* Now perform search again. If there is no current search, this won't + do anything. */ + document.getElementById('searchBar').search(); } function onOpenLogLocation(evt) { loot.query('openLogLocation').catch(processCefError);