diff options
| author | Bernard Normier <bernard@zeroc.com> | 2012-10-24 13:09:14 -0400 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2012-10-24 13:09:14 -0400 |
| commit | 2992fdbc91c2f10208f6e3b8bc1bfc5ad1e855c3 (patch) | |
| tree | 00b8aec131f3f084d79afa4ce86c7a4bc45164b7 /java/src/IceGridGUI/LiveDeployment/GraphView.java | |
| parent | Fixed regex ifdef/ndef code. (diff) | |
| download | ice-2992fdbc91c2f10208f6e3b8bc1bfc5ad1e855c3.tar.bz2 ice-2992fdbc91c2f10208f6e3b8bc1bfc5ad1e855c3.tar.xz ice-2992fdbc91c2f10208f6e3b8bc1bfc5ad1e855c3.zip | |
More JTable rowHeight for larger fonts
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/GraphView.java')
| -rw-r--r-- | java/src/IceGridGUI/LiveDeployment/GraphView.java | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/GraphView.java b/java/src/IceGridGUI/LiveDeployment/GraphView.java index 7e899d09c35..c65f7cf3199 100644 --- a/java/src/IceGridGUI/LiveDeployment/GraphView.java +++ b/java/src/IceGridGUI/LiveDeployment/GraphView.java @@ -575,7 +575,17 @@ public class GraphView extends JFrame implements MetricsFieldContext } } }; - + + // + // Adjust row height for larger fonts + // + int fontSize = _legendTable.getFont().getSize(); + int minRowHeight = fontSize + fontSize / 3; + if(_legendTable.getRowHeight() < minRowHeight) + { + _legendTable.setRowHeight(minRowHeight); + } + // // Graph preferences. // |