336337338339340341342343344345346
} } SearchManager manager = _core.getSearchManager(); manager.search(search_query); final SearchResultTab tab = new SearchResultTab(search_query_tab_list,search_query,_core); search_query_tab_list.setSelection(tab.getSearchTab());