Ejemplo n.º 1
0
 public void updateFiltersPanel() {
   generalFilter =
       new GeneralResultFilter(resultPanel, sliderSeeds, sliderSize, textFieldKeywords);
   updateCheckboxes(SearchEngine.getEngines());
   resultPanel.filterChanged(new SearchEngineFilter(engineCheckboxes), 0);
   resultPanel.filterChanged(generalFilter, 1);
 }
Ejemplo n.º 2
0
 private JComponent createSearchEnginesFilter() {
   JPanel panel = new JPanel();
   panel.setLayout(new MigLayout("insets 3, wrap 2"));
   List<SearchEngine> searchEngines = SearchEngine.getEngines();
   setupCheckboxes(searchEngines, panel);
   return panel;
 }