I want to change the default search plugin for a wooCommerce one, I am not sure if you’re built in one is the same, but the one on the theme is slow.
However I am unsure which file to edit, I would have thought header.php, please advise if I should alter any other file or if that is the one that I disable your search feature and use the one we will buy.
You can simply disable the search in Theme Options > Header > Enable search form in header > Off and https://prnt.sc/j7omcl
Or remove http://prntscr.com/j7okkm (legenda/js/theme.js)
+ minify content of this file https://jscompress.com/ into etheme.min.js file.
Please note we don’t guarantee full compatibility of 3rd-party plugins or additional extensions with the theme.