return taskbarButtonRedo;
}
private JCommandButton getTaskbarButtonTokengame() {
if (taskbarButtonTokengame == null) {
taskbarButtonTokengame = new JCommandButton(Messages.getString("Tools.tokengame.text"), new analyze_tokengame());
tokengameStartListener1 = new ActionButtonListener(m_mediator, ActionFactory.ACTIONID_OPEN_TOKENGAME, AbstractViewEvent.OPEN_TOKENGAME, taskbarButtonTokengame);
setTooltip(taskbarButtonTokengame, "Tools.tokengame");
taskbarButtonTokengame.addActionListener(tokengameStartListener1);
}
return taskbarButtonTokengame;