private void font_size_listValueChanged(
javax.swing.event.ListSelectionEvent evt) { // GEN-FIRST:event_font_size_listValueChanged
int i = font_size_list.getSelectedIndex();
switch (i) {
case 0:
font_size = 11;
break;
case 1:
font_size = 15;
break;
case 2:
font_size = 19;
break;
case 3:
font_size = 21;
break;
case 4:
font_size = 23;
break;
}
font = new Font(font_style, Font.PLAIN, font_size);
DisplayArea_text.setFont(font);
} // GEN-LAST:event_font_size_listValueChanged
private void font_style_listValueChanged(
javax.swing.event.ListSelectionEvent evt) { // GEN-FIRST:event_font_style_listValueChanged
font_style = font_style_list.getSelectedValue().toString();
font = new Font(font_style, Font.PLAIN, font_size);
DisplayArea_text.setFont(font);
} // GEN-LAST:event_font_style_listValueChanged
