2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
22 package jalview.fts.core;
24 import jalview.fts.api.FTSDataColumnI;
25 import jalview.fts.api.GFTSPanelI;
26 import jalview.fts.core.FTSDataColumnPreferences.PreferenceSource;
27 import jalview.gui.Desktop;
28 import jalview.gui.IProgressIndicator;
29 import jalview.gui.JvSwingUtils;
30 import jalview.gui.SequenceFetcher;
31 import jalview.io.cache.JvCacheableInputBox;
32 import jalview.util.MessageManager;
34 import java.awt.BorderLayout;
35 import java.awt.CardLayout;
36 import java.awt.Dimension;
37 import java.awt.event.ActionEvent;
38 import java.awt.event.ActionListener;
39 import java.awt.event.FocusAdapter;
40 import java.awt.event.FocusEvent;
41 import java.awt.event.FocusListener;
42 import java.awt.event.ItemEvent;
43 import java.awt.event.ItemListener;
44 import java.awt.event.KeyAdapter;
45 import java.awt.event.KeyEvent;
46 import java.awt.event.MouseAdapter;
47 import java.awt.event.MouseEvent;
48 import java.text.DecimalFormat;
49 import java.util.ArrayList;
50 import java.util.Arrays;
51 import java.util.Collection;
52 import java.util.Collections;
53 import java.util.Comparator;
54 import java.util.HashSet;
55 import java.util.List;
57 import javax.swing.ImageIcon;
58 import javax.swing.JButton;
59 import javax.swing.JCheckBox;
60 import javax.swing.JComboBox;
61 import javax.swing.JFrame;
62 import javax.swing.JInternalFrame;
63 import javax.swing.JLabel;
64 import javax.swing.JPanel;
65 import javax.swing.JScrollPane;
66 import javax.swing.JTabbedPane;
67 import javax.swing.JTable;
68 import javax.swing.Timer;
69 import javax.swing.event.ChangeEvent;
70 import javax.swing.event.ChangeListener;
71 import javax.swing.event.DocumentEvent;
72 import javax.swing.event.DocumentListener;
73 import javax.swing.event.InternalFrameEvent;
74 import javax.swing.table.DefaultTableModel;
75 import javax.swing.table.TableColumn;
76 import javax.swing.text.JTextComponent;
79 * This class provides the swing GUI layout for FTS Panel and implements most of
80 * the contracts defined in GFSPanelI
86 @SuppressWarnings("serial")
87 public abstract class GFTSPanel extends JPanel implements GFTSPanelI
89 protected JInternalFrame mainFrame = new JInternalFrame(
92 protected JTabbedPane mainFramTabs = new JTabbedPane();
93 protected IProgressIndicator progressIndicator;
95 protected JComboBox<FTSDataColumnI> cmb_searchTarget = new JComboBox<FTSDataColumnI>();
97 protected JButton btn_ok = new JButton();
99 protected JButton btn_back = new JButton();
101 protected JButton btn_cancel = new JButton();
103 protected JCheckBox btn_autosearch = new JCheckBox();
105 protected JvCacheableInputBox<String> txt_search;
107 protected SequenceFetcher seqFetcher;
109 protected Collection<FTSDataColumnI> wantedFields;
111 private String lastSearchTerm = "";
113 protected JButton btn_next_page = new JButton();
115 protected JButton btn_prev_page = new JButton();
117 protected StringBuilder errorWarning = new StringBuilder();
119 protected ImageIcon warningImage = new ImageIcon(
120 getClass().getResource("/images/warning.gif"));
122 protected ImageIcon loadingImage = new ImageIcon(
123 getClass().getResource("/images/loading.gif"));
125 protected ImageIcon balnkPlaceholderImage = new ImageIcon(
126 getClass().getResource("/images/blank_16x16_placeholder.png"));
128 protected JLabel lbl_warning = new JLabel(warningImage);
130 protected JLabel lbl_loading = new JLabel(loadingImage);
132 protected JLabel lbl_blank = new JLabel(balnkPlaceholderImage);
134 private JTabbedPane tabbedPane = new JTabbedPane();
136 private JPanel pnl_actions = new JPanel();
138 private JPanel pnl_results = new JPanel(new CardLayout());
140 private JPanel pnl_inputs = new JPanel();
142 private BorderLayout mainLayout = new BorderLayout();
144 protected Object[] previousWantedFields;
146 protected int resultSetCount;
148 protected int totalResultSetCount;
150 protected int offSet;
152 protected int pageLimit;
154 protected HashSet<String> paginatorCart = new HashSet<String>();
156 private static final int MIN_WIDTH = 670;
158 private static final int MIN_HEIGHT = 300;
160 protected static final DecimalFormat totalNumberformatter = new DecimalFormat(
163 private JTable tbl_summary = new JTable()
165 private boolean inLayout;
168 public boolean getScrollableTracksViewportWidth()
170 return hasExcessWidth();
175 public void doLayout()
177 if (hasExcessWidth())
179 autoResizeMode = AUTO_RESIZE_SUBSEQUENT_COLUMNS;
184 autoResizeMode = AUTO_RESIZE_OFF;
187 protected boolean hasExcessWidth()
189 return getPreferredSize().width < getParent().getWidth();
193 public void columnMarginChanged(ChangeEvent e)
199 TableColumn resizingColumn = getTableHeader().getResizingColumn();
200 // Need to do this here, before the parent's
201 // layout manager calls getPreferredSize().
202 if (resizingColumn != null && autoResizeMode == AUTO_RESIZE_OFF
205 resizingColumn.setPreferredWidth(resizingColumn.getWidth());
206 String colHeader = resizingColumn.getHeaderValue().toString();
207 getTempUserPrefs().put(colHeader, resizingColumn.getWidth());
213 public String getToolTipText(MouseEvent evt)
215 String toolTipText = null;
216 java.awt.Point pnt = evt.getPoint();
217 int rowIndex = rowAtPoint(pnt);
218 int colIndex = columnAtPoint(pnt);
222 if (getValueAt(rowIndex, colIndex) == null)
226 toolTipText = getValueAt(rowIndex, colIndex).toString();
228 } catch (Exception e)
232 toolTipText = (toolTipText == null ? null
233 : (toolTipText.length() > 500
234 ? JvSwingUtils.wrapTooltip(true,
235 toolTipText.subSequence(0, 500) + "...")
236 : JvSwingUtils.wrapTooltip(true, toolTipText)));
242 protected JScrollPane scrl_searchResult = new JScrollPane(tbl_summary);
249 public GFTSPanel(SequenceFetcher fetcher)
260 mainFramTabs.addTab("Retrieve IDs", fetcher);
261 fetcher.setDatabaseChooserVisible(false);
263 mainFrame.setMinimumSize(new Dimension(MIN_WIDTH, MIN_HEIGHT));
264 final JPanel ftsPanel = this;
265 mainFrame.addFocusListener(new FocusAdapter()
268 public void focusGained(FocusEvent e)
270 // TODO: make selected tab gain focus in correct widget
271 if (mainFramTabs != null
272 && mainFramTabs.getSelectedComponent() == ftsPanel)
274 txt_search.requestFocusInWindow();
278 mainFrame.invalidate();
280 } catch (Exception e)
287 * Initializes the GUI default properties
291 private void jbInit() throws Exception
294 txt_search = new JvCacheableInputBox<String>(getCacheKey());
295 populateCmbSearchTargetOptions();
296 Integer width = getTempUserPrefs().get("FTSPanel.width") == null ? 800
297 : getTempUserPrefs().get("FTSPanel.width");
298 Integer height = getTempUserPrefs().get("FTSPanel.height") == null ? 400
299 : getTempUserPrefs().get("FTSPanel.height");
300 lbl_warning.setVisible(false);
301 lbl_warning.setFont(new java.awt.Font("Verdana", 0, 12));
302 lbl_loading.setVisible(false);
303 lbl_loading.setFont(new java.awt.Font("Verdana", 0, 12));
304 lbl_blank.setVisible(true);
305 lbl_blank.setFont(new java.awt.Font("Verdana", 0, 12));
307 tbl_summary.setAutoCreateRowSorter(true);
308 tbl_summary.getTableHeader().setReorderingAllowed(false);
309 tbl_summary.addMouseListener(new MouseAdapter()
312 public void mouseClicked(MouseEvent e)
318 public void mouseReleased(MouseEvent e)
323 tbl_summary.addKeyListener(new KeyAdapter()
326 public void keyPressed(KeyEvent evt)
329 switch (evt.getKeyCode())
331 case KeyEvent.VK_ESCAPE: // escape key
332 btn_back_ActionPerformed();
334 case KeyEvent.VK_ENTER: // enter key
335 if (btn_ok.isEnabled())
341 case KeyEvent.VK_TAB: // tab key
342 if (evt.isShiftDown())
344 tabbedPane.requestFocus();
348 btn_back.requestFocus();
358 btn_autosearch.setText("");
359 btn_autosearch.setToolTipText(
360 MessageManager.getString("option.enable_disable_autosearch"));
361 btn_back.setFont(new java.awt.Font("Verdana", 0, 12));
362 btn_back.setText(MessageManager.getString("action.back"));
363 btn_back.addActionListener(new java.awt.event.ActionListener()
366 public void actionPerformed(ActionEvent e)
368 btn_back_ActionPerformed();
371 btn_back.addKeyListener(new KeyAdapter()
374 public void keyPressed(KeyEvent evt)
376 if (evt.getKeyCode() == KeyEvent.VK_ENTER)
378 btn_back_ActionPerformed();
383 btn_ok.setEnabled(false);
384 btn_ok.setFont(new java.awt.Font("Verdana", 0, 12));
385 btn_ok.setText(MessageManager.getString("action.ok"));
386 btn_ok.addActionListener(new java.awt.event.ActionListener()
389 public void actionPerformed(ActionEvent e)
394 btn_ok.addKeyListener(new KeyAdapter()
397 public void keyPressed(KeyEvent evt)
399 if (evt.getKeyCode() == KeyEvent.VK_ENTER)
405 btn_next_page.setEnabled(false);
406 btn_next_page.setToolTipText(
407 MessageManager.getString("label.next_page_tooltip"));
408 btn_next_page.setFont(new java.awt.Font("Verdana", 0, 12));
409 btn_next_page.setText(MessageManager.getString("action.next_page"));
410 btn_next_page.addActionListener(new java.awt.event.ActionListener()
413 public void actionPerformed(ActionEvent e)
418 btn_next_page.addKeyListener(new KeyAdapter()
421 public void keyPressed(KeyEvent evt)
423 if (evt.getKeyCode() == KeyEvent.VK_ENTER)
430 btn_prev_page.setEnabled(false);
431 btn_prev_page.setToolTipText(
432 MessageManager.getString("label.prev_page_tooltip"));
433 btn_prev_page.setFont(new java.awt.Font("Verdana", 0, 12));
434 btn_prev_page.setText(MessageManager.getString("action.prev_page"));
435 btn_prev_page.addActionListener(new java.awt.event.ActionListener()
438 public void actionPerformed(ActionEvent e)
443 btn_prev_page.addKeyListener(new KeyAdapter()
446 public void keyPressed(KeyEvent evt)
448 if (evt.getKeyCode() == KeyEvent.VK_ENTER)
455 if (isPaginationEnabled())
457 btn_prev_page.setVisible(true);
458 btn_next_page.setVisible(true);
462 btn_prev_page.setVisible(false);
463 btn_next_page.setVisible(false);
466 btn_cancel.setFont(new java.awt.Font("Verdana", 0, 12));
467 btn_cancel.setText(MessageManager.getString("action.cancel"));
468 btn_cancel.addActionListener(new java.awt.event.ActionListener()
471 public void actionPerformed(ActionEvent e)
473 btn_cancel_ActionPerformed();
476 btn_cancel.addKeyListener(new KeyAdapter()
479 public void keyPressed(KeyEvent evt)
481 if (evt.getKeyCode() == KeyEvent.VK_ENTER)
483 btn_cancel_ActionPerformed();
487 scrl_searchResult.setPreferredSize(new Dimension(width, height));
489 cmb_searchTarget.setFont(new java.awt.Font("Verdana", 0, 12));
490 cmb_searchTarget.addItemListener(new ItemListener()
493 public void itemStateChanged(ItemEvent e)
495 if (e.getStateChange() == ItemEvent.SELECTED)
498 if ("all".equalsIgnoreCase(
499 getCmbSearchTarget().getSelectedItem().toString()))
501 tooltipText = MessageManager.getString("label.search_all");
503 else if ("pdb id".equalsIgnoreCase(
504 getCmbSearchTarget().getSelectedItem().toString()))
506 tooltipText = MessageManager
507 .getString("label.separate_multiple_accession_ids");
511 tooltipText = MessageManager.formatMessage(
512 "label.separate_multiple_query_values", new Object[]
513 { getCmbSearchTarget().getSelectedItem().toString() });
515 txt_search.setToolTipText(
516 JvSwingUtils.wrapTooltip(true, tooltipText));
522 txt_search.setFont(new java.awt.Font("Verdana", 0, 12));
524 txt_search.getEditor().getEditorComponent()
525 .addKeyListener(new KeyAdapter()
528 public void keyPressed(KeyEvent e)
530 if (e.getKeyCode() == KeyEvent.VK_ENTER)
532 if (getTypedText() == null || getTypedText().isEmpty())
536 String primaryKeyName = getFTSRestClient()
537 .getPrimaryKeyColumn().getName();
538 if (primaryKeyName.equalsIgnoreCase(getCmbSearchTarget()
539 .getSelectedItem().toString()))
541 // TODO: nicer to show the list in the result set before
542 // viewing in Jalview perhaps ?
543 transferToSequenceFetcher(getTypedText());
547 performSearchAction();
552 final DeferredTextInputListener listener = new DeferredTextInputListener(
553 1500, new ActionListener()
556 public void actionPerformed(ActionEvent e)
558 if (btn_autosearch.isSelected()
559 || txt_search.wasEnterPressed())
561 performSearchAction();
565 ((JTextComponent) txt_search.getEditor().getEditorComponent())
566 .getDocument().addDocumentListener(listener);
568 txt_search.addFocusListener(new FocusListener()
571 public void focusGained(FocusEvent e)
577 public void focusLost(FocusEvent e)
583 txt_search.addActionListener(new ActionListener()
587 public void actionPerformed(ActionEvent e)
589 performSearchAction();
592 final String searchTabTitle = MessageManager
593 .getString("label.search_result");
594 final String configureCols = MessageManager
595 .getString("label.configure_displayed_columns");
596 ChangeListener changeListener = new ChangeListener()
599 public void stateChanged(ChangeEvent changeEvent)
601 JTabbedPane sourceTabbedPane = (JTabbedPane) changeEvent
603 int index = sourceTabbedPane.getSelectedIndex();
605 btn_back.setVisible(true);
606 btn_cancel.setVisible(true);
607 btn_ok.setVisible(true);
608 if (sourceTabbedPane.getTitleAt(index).equals(configureCols))
610 btn_back.setVisible(false);
611 btn_cancel.setVisible(false);
612 btn_ok.setVisible(false);
613 btn_back.setEnabled(false);
614 btn_cancel.setEnabled(false);
615 btn_ok.setEnabled(false);
616 btn_next_page.setEnabled(false);
617 btn_prev_page.setEnabled(false);
618 txt_search.setEnabled(false);
619 cmb_searchTarget.setEnabled(false);
620 previousWantedFields = getFTSRestClient()
621 .getAllDefaultDisplayedFTSDataColumns()
622 .toArray(new Object[0]);
624 if (sourceTabbedPane.getTitleAt(index).equals(searchTabTitle))
626 btn_back.setEnabled(true);
627 btn_cancel.setEnabled(true);
628 refreshPaginatorState();
629 txt_search.setEnabled(true);
630 cmb_searchTarget.setEnabled(true);
631 if (wantedFieldsUpdated())
634 paginatorCart.clear();
643 tabbedPane.addChangeListener(changeListener);
644 tabbedPane.setPreferredSize(new Dimension(width, height));
645 tabbedPane.add(searchTabTitle, scrl_searchResult);
646 tabbedPane.add(configureCols, new FTSDataColumnPreferences(
647 PreferenceSource.SEARCH_SUMMARY, getFTSRestClient()));
649 pnl_actions.add(btn_back);
650 pnl_actions.add(btn_ok);
651 pnl_actions.add(btn_cancel);
653 pnl_results.add(tabbedPane);
654 pnl_inputs.add(cmb_searchTarget);
655 pnl_inputs.add(txt_search);
656 pnl_inputs.add(btn_autosearch);
657 pnl_inputs.add(lbl_loading);
658 pnl_inputs.add(lbl_warning);
659 pnl_inputs.add(lbl_blank);
660 pnl_inputs.add(btn_prev_page);
661 pnl_inputs.add(btn_next_page);
663 this.setLayout(mainLayout);
664 this.add(pnl_inputs, java.awt.BorderLayout.NORTH);
665 this.add(pnl_results, java.awt.BorderLayout.CENTER);
666 this.add(pnl_actions, java.awt.BorderLayout.SOUTH);
667 mainFrame.setVisible(true);
668 if (mainFramTabs != null)
670 mainFramTabs.setOpaque(true);
671 mainFramTabs.insertTab("Free Text Search", null, this, "", 0);
672 mainFrame.setContentPane(mainFramTabs);
673 mainFramTabs.setVisible(true);
677 mainFrame.setContentPane(this);
679 mainFrame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
680 mainFrame.addInternalFrameListener(
681 new javax.swing.event.InternalFrameAdapter()
684 public void internalFrameClosing(InternalFrameEvent e)
689 mainFrame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
690 Integer x = getTempUserPrefs().get("FTSPanel.x");
691 Integer y = getTempUserPrefs().get("FTSPanel.y");
692 if (x != null && y != null)
694 mainFrame.setLocation(x, y);
696 Desktop.addInternalFrame(mainFrame, getFTSFrameTitle(), width, height);
699 protected void closeAction()
701 getTempUserPrefs().put("FTSPanel.width", this.getWidth());
702 getTempUserPrefs().put("FTSPanel.height", pnl_results.getHeight());
703 getTempUserPrefs().put("FTSPanel.x", mainFrame.getX());
704 getTempUserPrefs().put("FTSPanel.y", mainFrame.getY());
706 txt_search.persistCache();
709 public class DeferredTextInputListener implements DocumentListener
711 private final Timer swingTimer;
713 public DeferredTextInputListener(int timeOut, ActionListener listener,
716 swingTimer = new Timer(timeOut, listener);
717 swingTimer.setRepeats(repeats);
731 public void insertUpdate(DocumentEvent e)
733 swingTimer.restart();
737 public void removeUpdate(DocumentEvent e)
739 swingTimer.restart();
743 public void changedUpdate(DocumentEvent e)
745 swingTimer.restart();
750 void performSearchAction()
752 String typed = getTypedText();
753 if (typed != null && typed.length() > 0
754 && !typed.equalsIgnoreCase(lastSearchTerm))
757 paginatorCart.clear();
758 lastSearchTerm = typed;
762 public boolean wantedFieldsUpdated()
764 if (previousWantedFields == null)
769 return Arrays.equals(getFTSRestClient()
770 .getAllDefaultDisplayedFTSDataColumns().toArray(new Object[0]),
771 previousWantedFields) ? false : true;
775 public void validateSelection()
777 if (tbl_summary.getSelectedRows().length > 0
778 || !paginatorCart.isEmpty())
780 btn_ok.setEnabled(true);
784 btn_ok.setEnabled(false);
788 public JComboBox<FTSDataColumnI> getCmbSearchTarget()
790 return cmb_searchTarget;
793 public JComboBox<String> getTxtSearch()
798 public JInternalFrame getMainFrame()
803 protected void delayAndEnableActionButtons()
813 } catch (InterruptedException e)
817 btn_ok.setEnabled(true);
818 btn_back.setEnabled(true);
819 btn_cancel.setEnabled(true);
824 protected void checkForErrors()
826 lbl_warning.setVisible(false);
827 lbl_blank.setVisible(true);
828 if (errorWarning.length() > 0)
830 lbl_loading.setVisible(false);
831 lbl_blank.setVisible(false);
832 lbl_warning.setToolTipText(
833 JvSwingUtils.wrapTooltip(true, errorWarning.toString()));
834 lbl_warning.setVisible(true);
838 protected void btn_back_ActionPerformed()
841 new SequenceFetcher(progressIndicator);
844 protected void disableActionButtons()
846 btn_ok.setEnabled(false);
847 btn_back.setEnabled(false);
848 btn_cancel.setEnabled(false);
851 protected void btn_cancel_ActionPerformed()
857 * Populates search target combo-box options
859 public void populateCmbSearchTargetOptions()
861 List<FTSDataColumnI> searchableTargets = new ArrayList<FTSDataColumnI>();
864 Collection<FTSDataColumnI> foundFTSTargets = getFTSRestClient()
865 .getSearchableDataColumns();
866 searchableTargets.addAll(foundFTSTargets);
867 } catch (Exception e)
872 Collections.sort(searchableTargets, new Comparator<FTSDataColumnI>()
875 public int compare(FTSDataColumnI o1, FTSDataColumnI o2)
877 return o1.getName().compareTo(o2.getName());
881 for (FTSDataColumnI searchTarget : searchableTargets)
883 cmb_searchTarget.addItem(searchTarget);
887 public void transferToSequenceFetcher(String ids)
889 seqFetcher.getTextArea().setText(ids);
890 Thread worker = new Thread(seqFetcher);
895 public String getTypedText()
897 return txt_search.getUserInput();
901 public JTable getResultTable()
908 lbl_loading.setVisible(false);
909 errorWarning.setLength(0);
910 lbl_warning.setVisible(false);
911 lbl_blank.setVisible(true);
912 btn_ok.setEnabled(false);
913 mainFrame.setTitle(getFTSFrameTitle());
915 tbl_summary.setModel(new DefaultTableModel());
916 tbl_summary.setVisible(false);
920 public void setPrevPageButtonEnabled(boolean isEnabled)
922 btn_prev_page.setEnabled(isEnabled);
926 public void setNextPageButtonEnabled(boolean isEnabled)
928 btn_next_page.setEnabled(isEnabled);
932 public void setErrorMessage(String message)
934 errorWarning.append(message);
938 public void updateSearchFrameTitle(String title)
940 mainFrame.setTitle(title);
944 public void setSearchInProgress(Boolean isSearchInProgress)
946 lbl_blank.setVisible(!isSearchInProgress);
947 lbl_loading.setVisible(isSearchInProgress);
948 txt_search.setEditable(!isSearchInProgress);
952 public void prevPageAction()
954 updatePaginatorCart();
955 if (offSet >= pageLimit)
957 offSet = offSet - pageLimit;
962 refreshPaginatorState();
967 public void nextPageAction()
969 updatePaginatorCart();
970 offSet = offSet + pageLimit;
974 public void updatePaginatorCart()
976 int primaryKeyColIndex = 0;
977 JTable resultTable = getResultTable();
978 int totalRows = resultTable.getRowCount();
981 primaryKeyColIndex = getFTSRestClient()
982 .getPrimaryKeyColumIndex(wantedFields, false);
983 } catch (Exception e)
988 for (int row = 0; row < totalRows; row++)
990 String id = (String) resultTable.getValueAt(row, primaryKeyColIndex);
991 if (paginatorCart.contains(id))
993 paginatorCart.remove(id);
996 int[] selectedRows = resultTable.getSelectedRows();
997 for (int summaryRow : selectedRows)
999 String idStr = resultTable.getValueAt(summaryRow, primaryKeyColIndex)
1001 paginatorCart.add(idStr);
1005 public void updateSummaryTableSelections()
1007 JTable resultTable = getResultTable();
1008 if (paginatorCart.isEmpty())
1012 int primaryKeyColIndex = 0;
1015 primaryKeyColIndex = getFTSRestClient()
1016 .getPrimaryKeyColumIndex(wantedFields, false);
1017 } catch (Exception e)
1019 e.printStackTrace();
1021 int totalRows = resultTable.getRowCount();
1022 for (int row = 0; row < totalRows; row++)
1024 String id = (String) resultTable.getValueAt(row, primaryKeyColIndex);
1025 if (paginatorCart.contains(id))
1027 resultTable.addRowSelectionInterval(row, row);
1030 validateSelection();
1033 public void refreshPaginatorState()
1035 setPrevPageButtonEnabled(false);
1036 setNextPageButtonEnabled(false);
1037 if (resultSetCount == 0 && pageLimit == 0)
1041 if (resultSetCount >= pageLimit)
1043 setNextPageButtonEnabled(true);
1045 if (offSet >= pageLimit)
1047 setPrevPageButtonEnabled(true);
1051 public void referesh()
1053 mainFrame.setTitle(getFTSFrameTitle());