The search functionality needs JavaScript enabled
called when theme is changed
void onThemeChanged();