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/SimpleMapField.java | 10 ++++++++++
 1 file changed, 10 insertions(+)

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

diff --git a/java/src/IceGridGUI/Application/SimpleMapField.java b/java/src/IceGridGUI/Application/SimpleMapField.java
index 2a2b1f596cd..9bf3dd9f661 100644
--- a/java/src/IceGridGUI/Application/SimpleMapField.java
+++ b/java/src/IceGridGUI/Application/SimpleMapField.java
@@ -40,6 +40,16 @@ public class SimpleMapField extends JTable
         _columnNames.add(headKey);
         _columnNames.add(headValue);
 
+        //
+        // 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