Lines Matching refs:tabs
47 protected Vector tabs;
57 tabs = new Vector();
86 tabs.addElement(name);
90 tabs.insertElementAt(name, index);
94 int size = tabs.size();
96 return (String)tabs.elementAt(index);
102 return tabs.indexOf(name);
106 tabs.removeElement(name);
111 int index = tabs.indexOf(oldName);
113 tabs.removeElementAt(index);
114 tabs.insertElementAt(newName, index);
120 tabs.removeAllElements();
124 public Enumeration tabs() {
125 return tabs.elements();
132 if (!tabs.contains(name)) {
227 if (tabs.size() > 0)
228 show((String)tabs.elementAt(0));
233 if (tabs.size() > (index+1))
234 show((String)tabs.elementAt(index+1));
239 if (tabs.size() > 0 && (index-1) >= 0)
240 show((String)tabs.elementAt(index-1));
244 int index = tabs.size()-1;
246 show((String)tabs.elementAt(index));
253 return tabs.indexOf(currentCard);