public EditorToolbar(Editor editor, JMenu menu) {
this.editor = editor;
this.menu = menu;
buttonCount = 0;
which = new int[BUTTON_COUNT];
//which[buttonCount++] = NOTHING;
which[buttonCount++] = RUN;
which[buttonCount++] = EXPORT;
which[buttonCount++] = NEW;
which[buttonCount++] = OPEN;
which[buttonCount++] = SAVE;
which[buttonCount++] = SERIAL;
currentRollover = -1;
bgcolor = Theme.getColor("buttons.bgcolor");
statusFont = Theme.getFont("buttons.status.font");
statusColor = Theme.getColor("buttons.status.color");
addMouseListener(this);
addMouseMotionListener(this);
}
public ImageIcon getIcon() {
return new ImageIcon(Theme.getInstance().getDirImages() + "table.gif");
} // TE: returns an icon.
