public void paint(Graphics g) {
m_fm = g.getFontMetrics();
g.setColor(getBackground());
g.fillRect(0, 0, getWidth(), getHeight());
getBorder().paintBorder(this, g, 0, 0, getWidth(), getHeight());
g.setColor(getForeground());
g.setFont(getFont());
m_insets = getInsets();
int x = m_insets.left;
int y = m_insets.top + m_fm.getAscent();
StringTokenizer st = new StringTokenizer(getText(), "\t");
while (st.hasMoreTokens()) {
String sNext = st.nextToken();
g.drawString(sNext, x, y);
x += m_fm.stringWidth(sNext);
if (!st.hasMoreTokens()) break;
int index = 0;
while (x >= getTab(index)) index++;
x = getTab(index);
}
}
/**
* List results by date
*
* @param reslist result list
* @param ldisp
*/
private void listByDateRun(ResultList reslist, boolean ldisp) {
StringTokenizer tokenizer = new StringTokenizer((String) reslist.get("list"), "\n");
Vector vdata = new Vector();
while (tokenizer.hasMoreTokens()) {
String data = convertToPretty(tokenizer.nextToken());
if (datasets.contains(data) || ldisp) vdata.add(data);
}
datasets.removeAllElements();
Enumeration en = vdata.elements();
while (en.hasMoreElements()) datasets.addElement(en.nextElement());
}