diff options
| author | Bernard Normier <bernard@zeroc.com> | 2012-10-24 11:19:14 -0400 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2012-10-24 11:19:14 -0400 |
| commit | b4b2149b42f2cc42003c45aeff0eee7821fb6b7c (patch) | |
| tree | 378050844b854b1e4bad92e939671a128cee2f21 /java/src/IceGridGUI/Application/ParameterValuesField.java | |
| parent | Renamed metrics.config to metrics.cfg (diff) | |
| download | ice-b4b2149b42f2cc42003c45aeff0eee7821fb6b7c.tar.bz2 ice-b4b2149b42f2cc42003c45aeff0eee7821fb6b7c.tar.xz ice-b4b2149b42f2cc42003c45aeff0eee7821fb6b7c.zip | |
Increased row heights of JTable when using larger font sizes
Diffstat (limited to 'java/src/IceGridGUI/Application/ParameterValuesField.java')
| -rw-r--r-- | java/src/IceGridGUI/Application/ParameterValuesField.java | 10 |
1 files changed, 10 insertions, 0 deletions
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, |