font_size_value.setSelectedIndex(font_size - Altos.font_size_small);
font_size_value.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
int size = font_size_value.getSelectedIndex() + Altos.font_size_small;
font_size_value.setSelectedIndex(font_size - Altos.font_size_small);
font_size_value.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
int size = font_size_value.getSelectedIndex() + Altos.font_size_small;