Thanks for the details, I was able to fiture it out. The theme unfortunately did not support automatic replacement of that search in the navigation.
I was however able to find the code part that outputs the search, and replaced the form with the search shortcode.
You can find the original code in the theme functions.php file on line 1874:
..and the modification (currently active) below that on 1875:Best,
If you like my products, don't forget to rate them on codecanyon :)