JAL-2091 disable pagination buttons during initialisation
[jalview.git] / src / jalview / fts / core / GFTSPanel.java
1 /*
2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
4  * 
5  * This file is part of Jalview.
6  * 
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.
11  *  
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.
16  * 
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.
20  */
21
22 package jalview.fts.core;
23
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.util.MessageManager;
32
33 import java.awt.BorderLayout;
34 import java.awt.CardLayout;
35 import java.awt.Dimension;
36 import java.awt.event.ActionEvent;
37 import java.awt.event.ActionListener;
38 import java.awt.event.FocusEvent;
39 import java.awt.event.FocusListener;
40 import java.awt.event.KeyAdapter;
41 import java.awt.event.KeyEvent;
42 import java.awt.event.MouseAdapter;
43 import java.awt.event.MouseEvent;
44 import java.util.ArrayList;
45 import java.util.Arrays;
46 import java.util.Collection;
47 import java.util.Collections;
48 import java.util.Comparator;
49 import java.util.List;
50
51 import javax.swing.ImageIcon;
52 import javax.swing.JButton;
53 import javax.swing.JComboBox;
54 import javax.swing.JFrame;
55 import javax.swing.JInternalFrame;
56 import javax.swing.JLabel;
57 import javax.swing.JPanel;
58 import javax.swing.JScrollPane;
59 import javax.swing.JTabbedPane;
60 import javax.swing.JTable;
61 import javax.swing.JTextField;
62 import javax.swing.Timer;
63 import javax.swing.event.ChangeEvent;
64 import javax.swing.event.ChangeListener;
65 import javax.swing.event.DocumentEvent;
66 import javax.swing.event.DocumentListener;
67 import javax.swing.table.DefaultTableModel;
68 import javax.swing.table.TableColumn;
69
70 /**
71  * This class provides the swing GUI layout for FTS Panel and implements most of
72  * the contracts defined in GFSPanelI
73  * 
74  * @author tcnofoegbu
75  *
76  */
77
78 @SuppressWarnings("serial")
79 public abstract class GFTSPanel extends JPanel implements GFTSPanelI
80 {
81   protected JInternalFrame mainFrame = new JInternalFrame(
82           getFTSFrameTitle());
83
84   protected IProgressIndicator progressIdicator;
85
86   protected JComboBox<FTSDataColumnI> cmb_searchTarget = new JComboBox<FTSDataColumnI>();
87
88   protected JButton btn_ok = new JButton();
89
90   protected JButton btn_back = new JButton();
91
92   protected JButton btn_cancel = new JButton();
93
94   protected JTextField txt_search = new JTextField(30);
95
96   protected SequenceFetcher seqFetcher;
97
98   protected Collection<FTSDataColumnI> wantedFields;
99
100   private String lastSearchTerm = "";
101
102   protected JButton btn_next_page = new JButton();
103
104   protected JButton btn_prev_page = new JButton();
105
106   protected StringBuilder errorWarning = new StringBuilder();
107
108   protected ImageIcon warningImage = new ImageIcon(getClass().getResource(
109           "/images/warning.gif"));
110
111   protected ImageIcon loadingImage = new ImageIcon(getClass().getResource(
112           "/images/loading.gif"));
113
114   protected ImageIcon balnkPlaceholderImage = new ImageIcon(getClass()
115           .getResource("/images/blank_16x16_placeholder.png"));
116
117   protected JLabel lbl_warning = new JLabel(warningImage);
118
119   protected JLabel lbl_loading = new JLabel(loadingImage);
120
121   protected JLabel lbl_blank = new JLabel(balnkPlaceholderImage);
122
123   private JTabbedPane tabbedPane = new JTabbedPane();
124
125   private JPanel pnl_actions = new JPanel();
126
127   private JPanel pnl_results = new JPanel(new CardLayout());
128
129   private JPanel pnl_inputs = new JPanel();
130
131   private BorderLayout mainLayout = new BorderLayout();
132
133   protected Object[] previousWantedFields;
134
135   protected int resultSetCount;
136
137   protected int totalResultSetCount;
138
139   protected int offSet;
140
141   protected int pageLimit;
142
143   private JTable tbl_summary = new JTable()
144   {
145     private boolean inLayout;
146
147     @Override
148     public boolean getScrollableTracksViewportWidth()
149     {
150       return hasExcessWidth();
151
152     }
153
154     @Override
155     public void doLayout()
156     {
157       if (hasExcessWidth())
158       {
159         autoResizeMode = AUTO_RESIZE_SUBSEQUENT_COLUMNS;
160       }
161       inLayout = true;
162       super.doLayout();
163       inLayout = false;
164       autoResizeMode = AUTO_RESIZE_OFF;
165     }
166
167     protected boolean hasExcessWidth()
168     {
169       return getPreferredSize().width < getParent().getWidth();
170     }
171
172     @Override
173     public void columnMarginChanged(ChangeEvent e)
174     {
175       if (isEditing())
176       {
177         removeEditor();
178       }
179       TableColumn resizingColumn = getTableHeader().getResizingColumn();
180       // Need to do this here, before the parent's
181       // layout manager calls getPreferredSize().
182       if (resizingColumn != null && autoResizeMode == AUTO_RESIZE_OFF
183               && !inLayout)
184       {
185         resizingColumn.setPreferredWidth(resizingColumn.getWidth());
186       }
187       resizeAndRepaint();
188     }
189
190     @Override
191     public String getToolTipText(MouseEvent evt)
192     {
193       String toolTipText = null;
194       java.awt.Point pnt = evt.getPoint();
195       int rowIndex = rowAtPoint(pnt);
196       int colIndex = columnAtPoint(pnt);
197
198       try
199       {
200         if (getValueAt(rowIndex, colIndex) == null)
201         {
202           return null;
203         }
204         toolTipText = getValueAt(rowIndex, colIndex).toString();
205
206       } catch (Exception e)
207       {
208         e.printStackTrace();
209       }
210       toolTipText = (toolTipText == null ? null
211               : (toolTipText.length() > 500 ? JvSwingUtils.wrapTooltip(
212                       true, toolTipText.subSequence(0, 500) + "...")
213                       : JvSwingUtils.wrapTooltip(true, toolTipText)));
214
215       return toolTipText;
216     }
217   };
218   protected JScrollPane scrl_searchResult = new JScrollPane(tbl_summary);
219
220   public GFTSPanel()
221   {
222     try
223     {
224       jbInit();
225       mainFrame.invalidate();
226       mainFrame.pack();
227     } catch (Exception e)
228     {
229       e.printStackTrace();
230     }
231   }
232
233   /**
234    * Initializes the GUI default properties
235    * 
236    * @throws Exception
237    */
238   private void jbInit() throws Exception
239   {
240     lbl_warning.setVisible(false);
241     lbl_warning.setFont(new java.awt.Font("Verdana", 0, 12));
242     lbl_loading.setVisible(false);
243     lbl_loading.setFont(new java.awt.Font("Verdana", 0, 12));
244     lbl_blank.setVisible(true);
245     lbl_blank.setFont(new java.awt.Font("Verdana", 0, 12));
246
247     tbl_summary.setAutoCreateRowSorter(true);
248     tbl_summary.getTableHeader().setReorderingAllowed(false);
249     tbl_summary.addMouseListener(new MouseAdapter()
250     {
251       @Override
252       public void mouseClicked(MouseEvent e)
253       {
254         validateSelection();
255       }
256
257       @Override
258       public void mouseReleased(MouseEvent e)
259       {
260         validateSelection();
261       }
262     });
263     tbl_summary.addKeyListener(new KeyAdapter()
264     {
265       @Override
266       public void keyPressed(KeyEvent evt)
267       {
268         validateSelection();
269         switch (evt.getKeyCode())
270         {
271         case KeyEvent.VK_ESCAPE: // escape key
272           btn_back_ActionPerformed();
273           break;
274         case KeyEvent.VK_ENTER: // enter key
275           if (btn_ok.isEnabled())
276           {
277             okAction();
278           }
279           evt.consume();
280           break;
281         case KeyEvent.VK_TAB: // tab key
282           if (evt.isShiftDown())
283           {
284             tabbedPane.requestFocus();
285           }
286           else
287           {
288             btn_back.requestFocus();
289           }
290           evt.consume();
291           break;
292         default:
293           return;
294         }
295       }
296     });
297
298     btn_back.setFont(new java.awt.Font("Verdana", 0, 12));
299     btn_back.setText(MessageManager.getString("action.back"));
300     btn_back.addActionListener(new java.awt.event.ActionListener()
301     {
302       @Override
303       public void actionPerformed(ActionEvent e)
304       {
305         btn_back_ActionPerformed();
306       }
307     });
308     btn_back.addKeyListener(new KeyAdapter()
309     {
310       @Override
311       public void keyPressed(KeyEvent evt)
312       {
313         if (evt.getKeyCode() == KeyEvent.VK_ENTER)
314         {
315           btn_back_ActionPerformed();
316         }
317       }
318     });
319
320     btn_ok.setEnabled(false);
321     btn_ok.setFont(new java.awt.Font("Verdana", 0, 12));
322     btn_ok.setText(MessageManager.getString("action.ok"));
323     btn_ok.addActionListener(new java.awt.event.ActionListener()
324     {
325       @Override
326       public void actionPerformed(ActionEvent e)
327       {
328         okAction();
329       }
330     });
331     btn_ok.addKeyListener(new KeyAdapter()
332     {
333       @Override
334       public void keyPressed(KeyEvent evt)
335       {
336         if (evt.getKeyCode() == KeyEvent.VK_ENTER)
337         {
338           okAction();
339         }
340       }
341     });
342     btn_next_page.setEnabled(false);
343     btn_next_page.setToolTipText(MessageManager
344             .getString("label.next_page_tooltop"));
345     btn_next_page.setFont(new java.awt.Font("Verdana", 0, 12));
346     btn_next_page.setText(MessageManager.getString("action.next_page"));
347     btn_next_page.addActionListener(new java.awt.event.ActionListener()
348     {
349       @Override
350       public void actionPerformed(ActionEvent e)
351       {
352         nextPageAction();
353       }
354     });
355     btn_next_page.addKeyListener(new KeyAdapter()
356     {
357       @Override
358       public void keyPressed(KeyEvent evt)
359       {
360         if (evt.getKeyCode() == KeyEvent.VK_ENTER)
361         {
362           nextPageAction();
363         }
364       }
365     });
366
367     btn_prev_page.setEnabled(false);
368     btn_prev_page.setToolTipText(MessageManager
369             .getString("label.prev_page_tooltop"));
370     btn_prev_page.setFont(new java.awt.Font("Verdana", 0, 12));
371     btn_prev_page.setText(MessageManager.getString("action.prev_page"));
372     btn_prev_page.addActionListener(new java.awt.event.ActionListener()
373     {
374       @Override
375       public void actionPerformed(ActionEvent e)
376       {
377         prevPageAction();
378       }
379     });
380     btn_prev_page.addKeyListener(new KeyAdapter()
381     {
382       @Override
383       public void keyPressed(KeyEvent evt)
384       {
385         if (evt.getKeyCode() == KeyEvent.VK_ENTER)
386         {
387           prevPageAction();
388         }
389       }
390     });
391
392     if (isPaginationEnabled())
393     {
394       btn_prev_page.setVisible(true);
395       btn_next_page.setVisible(true);
396     }
397     else
398     {
399       btn_prev_page.setVisible(false);
400       btn_next_page.setVisible(false);
401     }
402
403     btn_cancel.setFont(new java.awt.Font("Verdana", 0, 12));
404     btn_cancel.setText(MessageManager.getString("action.cancel"));
405     btn_cancel.addActionListener(new java.awt.event.ActionListener()
406     {
407       @Override
408       public void actionPerformed(ActionEvent e)
409       {
410         btn_cancel_ActionPerformed();
411       }
412     });
413     btn_cancel.addKeyListener(new KeyAdapter()
414     {
415       @Override
416       public void keyPressed(KeyEvent evt)
417       {
418         if (evt.getKeyCode() == KeyEvent.VK_ENTER)
419         {
420           btn_cancel_ActionPerformed();
421         }
422       }
423     });
424     scrl_searchResult.setPreferredSize(new Dimension(800, 400));
425
426     cmb_searchTarget.setFont(new java.awt.Font("Verdana", 0, 12));
427     cmb_searchTarget.addActionListener(new ActionListener()
428     {
429       @Override
430       public void actionPerformed(ActionEvent e)
431       {
432         String tooltipText;
433         if ("all".equalsIgnoreCase(getCmbSearchTarget().getSelectedItem()
434                 .toString()))
435         {
436           tooltipText = MessageManager.getString("label.search_all");
437         }
438         else if ("pdb id".equalsIgnoreCase(getCmbSearchTarget()
439                 .getSelectedItem().toString()))
440         {
441           tooltipText = MessageManager
442                   .getString("label.separate_multiple_accession_ids");
443         }
444         else
445         {
446           tooltipText = MessageManager.formatMessage(
447                   "label.separate_multiple_query_values",
448                   new Object[] { getCmbSearchTarget().getSelectedItem()
449                           .toString() });
450         }
451         txt_search.setToolTipText(JvSwingUtils.wrapTooltip(true,
452                 tooltipText));
453         searchAction(true);
454       }
455     });
456
457     populateCmbSearchTargetOptions();
458
459     txt_search.setFont(new java.awt.Font("Verdana", 0, 12));
460
461     txt_search.addKeyListener(new KeyAdapter()
462     {
463       @Override
464       public void keyPressed(KeyEvent e)
465       {
466         if (e.getKeyCode() == KeyEvent.VK_ENTER)
467         {
468           if (txt_search.getText() == null
469                   || txt_search.getText().isEmpty())
470           {
471             return;
472           }
473           String primaryKeyName = getFTSRestClient().getPrimaryKeyColumn()
474                   .getName();
475           if (primaryKeyName.equalsIgnoreCase(getCmbSearchTarget()
476                   .getSelectedItem().toString()))
477           {
478             transferToSequenceFetcher(txt_search.getText());
479           }
480         }
481       }
482     });
483
484     final DeferredTextInputListener listener = new DeferredTextInputListener(
485             1500,
486             new ActionListener()
487             {
488               @Override
489               public void actionPerformed(ActionEvent e)
490               {
491                 if (!getTypedText().equalsIgnoreCase(lastSearchTerm))
492                 {
493                   searchAction(true);
494                   lastSearchTerm = getTypedText();
495                 }
496               }
497             }, false);
498     txt_search.getDocument().addDocumentListener(listener);
499     txt_search.addFocusListener(new FocusListener()
500     {
501       @Override
502       public void focusGained(FocusEvent e)
503       {
504         listener.start();
505       }
506
507       @Override
508       public void focusLost(FocusEvent e)
509       {
510 //        listener.stop();
511       }
512     });
513
514     final String searchTabTitle = MessageManager
515             .getString("label.search_result");
516     final String configureCols = MessageManager
517             .getString("label.configure_displayed_columns");
518     ChangeListener changeListener = new ChangeListener()
519     {
520       @Override
521       public void stateChanged(ChangeEvent changeEvent)
522       {
523         JTabbedPane sourceTabbedPane = (JTabbedPane) changeEvent
524                 .getSource();
525         int index = sourceTabbedPane.getSelectedIndex();
526
527         btn_back.setVisible(true);
528         btn_cancel.setVisible(true);
529         btn_ok.setVisible(true);
530         if (sourceTabbedPane.getTitleAt(index).equals(configureCols))
531         {
532           btn_back.setVisible(false);
533           btn_cancel.setVisible(false);
534           btn_ok.setVisible(false);
535           btn_back.setEnabled(false);
536           btn_cancel.setEnabled(false);
537           btn_ok.setEnabled(false);
538           btn_next_page.setEnabled(false);
539           btn_prev_page.setEnabled(false);
540           txt_search.setEnabled(false);
541           cmb_searchTarget.setEnabled(false);
542           previousWantedFields = getFTSRestClient()
543                   .getAllDefaulDisplayedDataColumns()
544                   .toArray(new Object[0]);
545         }
546         if (sourceTabbedPane.getTitleAt(index).equals(searchTabTitle))
547         {
548           btn_back.setEnabled(true);
549           btn_cancel.setEnabled(true);
550           refreshPaginatorState();
551           txt_search.setEnabled(true);
552           cmb_searchTarget.setEnabled(true);
553           if (wantedFieldsUpdated())
554           {
555             searchAction(true);
556           }
557           else
558           {
559             validateSelection();
560           }
561         }
562       }
563     };
564     tabbedPane.addChangeListener(changeListener);
565     tabbedPane.setPreferredSize(new Dimension(800, 400));
566     tabbedPane.add(searchTabTitle, scrl_searchResult);
567     tabbedPane.add(configureCols, new FTSDataColumnPreferences(
568             PreferenceSource.SEARCH_SUMMARY, getFTSRestClient()));
569
570     pnl_actions.add(btn_back);
571     pnl_actions.add(btn_ok);
572     pnl_actions.add(btn_cancel);
573
574     pnl_results.add(tabbedPane);
575     pnl_inputs.add(cmb_searchTarget);
576     pnl_inputs.add(txt_search);
577     pnl_inputs.add(lbl_loading);
578     pnl_inputs.add(lbl_warning);
579     pnl_inputs.add(lbl_blank);
580     pnl_inputs.add(btn_prev_page);
581     pnl_inputs.add(btn_next_page);
582
583     this.setLayout(mainLayout);
584     this.add(pnl_inputs, java.awt.BorderLayout.NORTH);
585     this.add(pnl_results, java.awt.BorderLayout.CENTER);
586     this.add(pnl_actions, java.awt.BorderLayout.SOUTH);
587     mainFrame.setVisible(true);
588     mainFrame.setContentPane(this);
589     mainFrame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
590     Desktop.addInternalFrame(mainFrame, getFTSFrameTitle(), 900, 500);
591   }
592
593   public class DeferredTextInputListener implements DocumentListener
594   {
595     private final Timer swingTimer;
596
597     public DeferredTextInputListener(int timeOut, ActionListener listener,
598             boolean repeats)
599     {
600       swingTimer = new Timer(timeOut, listener);
601       swingTimer.setRepeats(repeats);
602     }
603
604     public void start()
605     {
606       swingTimer.start();
607     }
608
609     public void stop()
610     {
611       swingTimer.stop();
612     }
613
614     @Override
615     public void insertUpdate(DocumentEvent e)
616     {
617       swingTimer.restart();
618     }
619
620     @Override
621     public void removeUpdate(DocumentEvent e)
622     {
623       swingTimer.restart();
624     }
625
626     @Override
627     public void changedUpdate(DocumentEvent e)
628     {
629       swingTimer.restart();
630     }
631
632   }
633
634   public boolean wantedFieldsUpdated()
635   {
636     if (previousWantedFields == null)
637     {
638       return true;
639     }
640
641     return Arrays.equals(getFTSRestClient()
642             .getAllDefaulDisplayedDataColumns()
643             .toArray(new Object[0]), previousWantedFields) ? false
644             : true;
645
646   }
647
648   public void validateSelection()
649   {
650     if (tbl_summary.getSelectedRows().length > 0)
651     {
652       btn_ok.setEnabled(true);
653     }
654     else
655     {
656       btn_ok.setEnabled(false);
657     }
658   }
659
660   public JComboBox<FTSDataColumnI> getCmbSearchTarget()
661   {
662     return cmb_searchTarget;
663   }
664
665   public JTextField getTxtSearch()
666   {
667     return txt_search;
668   }
669
670   public JInternalFrame getMainFrame()
671   {
672     return mainFrame;
673   }
674
675   protected void delayAndEnableActionButtons()
676   {
677     new Thread()
678     {
679       @Override
680       public void run()
681       {
682         try
683         {
684           Thread.sleep(1500);
685         } catch (InterruptedException e)
686         {
687           e.printStackTrace();
688         }
689         btn_ok.setEnabled(true);
690         btn_back.setEnabled(true);
691         btn_cancel.setEnabled(true);
692       }
693     }.start();
694   }
695
696   protected void checkForErrors()
697   {
698     lbl_warning.setVisible(false);
699     lbl_blank.setVisible(true);
700     if (errorWarning.length() > 0)
701     {
702       lbl_loading.setVisible(false);
703       lbl_blank.setVisible(false);
704       lbl_warning.setToolTipText(JvSwingUtils.wrapTooltip(true,
705               errorWarning.toString()));
706       lbl_warning.setVisible(true);
707     }
708   }
709
710   protected void btn_back_ActionPerformed()
711   {
712     mainFrame.dispose();
713     new SequenceFetcher(progressIdicator);
714   }
715
716   protected void disableActionButtons()
717   {
718     btn_ok.setEnabled(false);
719     btn_back.setEnabled(false);
720     btn_cancel.setEnabled(false);
721   }
722
723   protected void btn_cancel_ActionPerformed()
724   {
725     mainFrame.dispose();
726   }
727
728   /**
729    * Populates search target combo-box options
730    */
731   public void populateCmbSearchTargetOptions()
732   {
733     List<FTSDataColumnI> searchableTargets = new ArrayList<FTSDataColumnI>();
734     try
735     {
736       Collection<FTSDataColumnI> foundFTSTargets = getFTSRestClient()
737               .getSearchableDataColumns();
738       searchableTargets.addAll(foundFTSTargets);
739     } catch (Exception e)
740     {
741       e.printStackTrace();
742     }
743
744     Collections.sort(searchableTargets, new Comparator<FTSDataColumnI>()
745     {
746       @Override
747       public int compare(FTSDataColumnI o1, FTSDataColumnI o2)
748       {
749         return o1.getName().compareTo(o2.getName());
750       }
751     });
752
753     for (FTSDataColumnI searchTarget : searchableTargets)
754     {
755       cmb_searchTarget.addItem(searchTarget);
756     }
757   }
758
759
760   public void transferToSequenceFetcher(String ids)
761   {
762     // mainFrame.dispose();
763     seqFetcher.getTextArea().setText(ids);
764     Thread worker = new Thread(seqFetcher);
765     worker.start();
766   }
767
768   @Override
769   public String getTypedText()
770   {
771     return txt_search.getText().trim();
772   }
773
774   @Override
775   public JTable getResultTable()
776   {
777     return tbl_summary;
778   }
779
780   public void reset()
781   {
782     lbl_loading.setVisible(false);
783     errorWarning.setLength(0);
784     lbl_warning.setVisible(false);
785     lbl_blank.setVisible(true);
786     btn_ok.setEnabled(false);
787     mainFrame.setTitle(getFTSFrameTitle());
788     referesh();
789     tbl_summary.setModel(new DefaultTableModel());
790     tbl_summary.setVisible(false);
791   }
792
793   @Override
794   public void setPrevPageButtonEnabled(boolean isEnabled)
795   {
796     btn_prev_page.setEnabled(isEnabled);
797   }
798
799   @Override
800   public void setNextPageButtonEnabled(boolean isEnabled)
801   {
802     btn_next_page.setEnabled(isEnabled);
803   }
804
805   @Override
806   public void setErrorMessage(String message)
807   {
808     errorWarning.append(message);
809   }
810
811   @Override
812   public void updateSearchFrameTitle(String title)
813   {
814     mainFrame.setTitle(title);
815   }
816
817   @Override
818   public void setSearchInProgress(Boolean isSearchInProgress)
819   {
820     lbl_blank.setVisible(!isSearchInProgress);
821     lbl_loading.setVisible(isSearchInProgress);
822   }
823
824   @Override
825   public void prevPageAction()
826   {
827     if (offSet >= pageLimit)
828     {
829       offSet = offSet - pageLimit;
830       searchAction(false);
831     }
832     else
833     {
834       refreshPaginatorState();
835     }
836   }
837
838   @Override
839   public void nextPageAction()
840   {
841     offSet = offSet + pageLimit;
842     searchAction(false);
843
844   }
845
846   public void refreshPaginatorState()
847   {
848     // System.out.println("resultSet count : " + resultSetCount);
849     // System.out.println("offSet : " + offSet);
850     // System.out.println("page limit : " + pageLimit);
851     setPrevPageButtonEnabled(false);
852     setNextPageButtonEnabled(false);
853     if (resultSetCount == 0 && pageLimit == 0)
854     {
855       return;
856     }
857     if (resultSetCount >= pageLimit)
858     {
859       setNextPageButtonEnabled(true);
860     }
861     if (offSet >= pageLimit)
862     {
863       setPrevPageButtonEnabled(true);
864     }
865   }
866   public void referesh()
867   {
868     mainFrame.setTitle(getFTSFrameTitle());
869   }
870
871 }