Blame |
Last modification |
View Log
| RSS feed
package rene.gui;
import java.awt.CheckboxMenuItem;
import java.util.Vector;
class CheckboxMenuElement
{ Item=i; Tag=tag;
}
}
public class CheckboxMenu
public CheckboxMenu ()
}
{ V.addElement(new CheckboxMenuElement(i,tag));
}
{ int i;
for (i=0; i<V.size(); i++)
{ CheckboxMenuElement e=
(CheckboxMenuElement)V.elementAt(i);
if (tag.equals(e.Tag)) e.Item.setState(true);
else e.Item.setState(false);
}
}
}