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/PropertiesField.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/PropertiesField.java')
| -rw-r--r-- | java/src/IceGridGUI/Application/PropertiesField.java | 10 |
1 files changed, 10 insertions, 0 deletions
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) |