diff options
Diffstat (limited to 'java/src/IceGridGUI/Application')
5 files changed, 50 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/Application/ArrayMapField.java b/java/src/IceGridGUI/Application/ArrayMapField.java index 6f228222f09..464b6fb0e53 100644 --- a/java/src/IceGridGUI/Application/ArrayMapField.java +++ b/java/src/IceGridGUI/Application/ArrayMapField.java @@ -45,6 +45,16 @@ public class ArrayMapField extends JTable assert _vectorSize > 2; + // + // Adjust row height for larger fonts + // + int fontSize = getFont().getSize(); + int minRowHeight = fontSize + fontSize / 3; + if(rowHeight < minRowHeight) + { + setRowHeight(minRowHeight); + } + Action deleteRow = new AbstractAction("Delete selected row(s)") { public void actionPerformed(ActionEvent e) diff --git a/java/src/IceGridGUI/Application/ParameterValuesField.java b/java/src/IceGridGUI/Application/ParameterValuesField.java index 81485a52b0e..1d0843f66f9 100644 --- a/java/src/IceGridGUI/Application/ParameterValuesField.java +++ b/java/src/IceGridGUI/Application/ParameterValuesField.java @@ -44,6 +44,16 @@ public class ParameterValuesField extends JTable _useDefaultCombo.setEditable(true); _notSetCombo.setEditable(true); + + // + // Adjust row height for larger fonts + // + int fontSize = getFont().getSize(); + int minRowHeight = fontSize + fontSize / 3; + if(rowHeight < minRowHeight) + { + setRowHeight(minRowHeight); + } } public void set(java.util.List<String> names, diff --git a/java/src/IceGridGUI/Application/ParametersField.java b/java/src/IceGridGUI/Application/ParametersField.java index f122a3582b1..6abbccd0a48 100644 --- a/java/src/IceGridGUI/Application/ParametersField.java +++ b/java/src/IceGridGUI/Application/ParametersField.java @@ -46,6 +46,16 @@ public class ParametersField extends JTable comboBox.setEditable(true); _cellEditor = new DefaultCellEditor(comboBox); + // + // Adjust row height for larger fonts + // + int fontSize = getFont().getSize(); + int minRowHeight = fontSize + fontSize / 3; + if(rowHeight < minRowHeight) + { + setRowHeight(minRowHeight); + } + Action deleteRow = new AbstractAction("Delete selected row(s)") { public void actionPerformed(ActionEvent e) diff --git a/java/src/IceGridGUI/Application/PropertiesField.java b/java/src/IceGridGUI/Application/PropertiesField.java index 6c6579835d5..c76356015b0 100644 --- a/java/src/IceGridGUI/Application/PropertiesField.java +++ b/java/src/IceGridGUI/Application/PropertiesField.java @@ -39,6 +39,16 @@ public class PropertiesField extends JTable _editor = editor; + // + // Adjust row height for larger fonts + // + int fontSize = getFont().getSize(); + int minRowHeight = fontSize + fontSize / 3; + if(rowHeight < minRowHeight) + { + setRowHeight(minRowHeight); + } + Action deleteRow = new AbstractAction("Delete selected row(s)") { public void actionPerformed(ActionEvent e) diff --git a/java/src/IceGridGUI/Application/SimpleMapField.java b/java/src/IceGridGUI/Application/SimpleMapField.java index 2a2b1f596cd..9bf3dd9f661 100644 --- a/java/src/IceGridGUI/Application/SimpleMapField.java +++ b/java/src/IceGridGUI/Application/SimpleMapField.java @@ -40,6 +40,16 @@ public class SimpleMapField extends JTable _columnNames.add(headKey); _columnNames.add(headValue); + // + // Adjust row height for larger fonts + // + int fontSize = getFont().getSize(); + int minRowHeight = fontSize + fontSize / 3; + if(rowHeight < minRowHeight) + { + setRowHeight(minRowHeight); + } + Action deleteRow = new AbstractAction("Delete selected row(s)") { public void actionPerformed(ActionEvent e) |