The search functionality needs JavaScript enabled
handle theme change: e.g. reload some themed resources
void onThemeChanged();