+ void set_pad_orientation_values() {
+ String [] new_values;
+ if (has_radio())
+ new_values = pad_orientation_values_radio;
+ else
+ new_values = pad_orientation_values_no_radio;
+ if (new_values != pad_orientation_values) {
+ int id = pad_orientation_value.getSelectedIndex();
+ pad_orientation_value.removeAllItems();
+ pad_orientation_values = new_values;
+ for (int i = 0; i < new_values.length; i++)
+ pad_orientation_value.addItem(pad_orientation_values[i]);
+ pad_orientation_value.setSelectedIndex(id);
+ }
+ }
+