diff options
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. // |