Vector<State> options;
public OperandMenuFrame(Document document, JButton source) {
super(document);
options = new Vector<State>(Arrays.asList(
new IntegerValue(0), new IntegerValue(1), new IntegerValue(2), new IntegerValue(10),
new Word("a"), new Word("x"), new Word("y"), new Word("z")));
options.addAll(Symbol.DEFAULT_OPERAND_SYMBOLS);
setupUserInterface(source, 4, 4, 200, 100, "Replace selection with a symbol."); // column x row
setHold(true);
}