From b4b2149b42f2cc42003c45aeff0eee7821fb6b7c Mon Sep 17 00:00:00 2001
From: Bernard Normier <bernard@zeroc.com>
Date: Wed, 24 Oct 2012 11:19:14 -0400
Subject: Increased row heights of JTable when using larger font sizes

---
 java/src/IceGridGUI/Application/ArrayMapField.java | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'java/src/IceGridGUI/Application/ArrayMapField.java')

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)
-- 
cgit v1.2.3