Blame |
Last modification |
View Log
| RSS feed
package rene.gui;
import java.awt.CheckboxMenuItem;
import java.awt.event.ItemEvent;
import java.awt.event.ItemListener;
{ DoActionListener C;
public CheckboxTranslator
{ C=c; S=s; CB=cb;
}
{ C.itemAction(S,CB.getState());
}
}
/**
A CheckboxMenuItem with modifyable font.
<p>
This is to be used in DoActionListener interfaces.
*/
{ public CheckboxMenuItemAction
(DoActionListener c,
String s,
String st
)
{ super(s);
addItemListener(new CheckboxTranslator(this,c,st));
if (Global.NormalFont!=null) setFont(Global.NormalFont);
}
public CheckboxMenuItemAction
(DoActionListener c,
String s
)
{ this(c,s,s);
}
}