From 5a27cf916f5ba9394dbf2ce2a5a6b4a1e5f14864 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Mon, 6 Mar 2017 20:16:14 +0100
Subject: [PATCH] optimized the layout of the DataEditor

---
 .../java/de/neemann/digital/gui/components/DataEditor.java  | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/main/java/de/neemann/digital/gui/components/DataEditor.java b/src/main/java/de/neemann/digital/gui/components/DataEditor.java
index 551cdab8a..e3c97a4c0 100644
--- a/src/main/java/de/neemann/digital/gui/components/DataEditor.java
+++ b/src/main/java/de/neemann/digital/gui/components/DataEditor.java
@@ -50,6 +50,7 @@ public class DataEditor extends JDialog {
         table.setDefaultRenderer(MyLong.class, new MyLongRenderer(bits));
         getContentPane().add(new JScrollPane(table));
 
+        int minWidth = 0;
         if (modelIsRunning) {
             dataField.addListener(dm);
             addWindowListener(new WindowAdapter() {
@@ -75,9 +76,10 @@ public class DataEditor extends JDialog {
                 }
             }));
             getContentPane().add(buttons, BorderLayout.SOUTH);
+            minWidth = buttons.getPreferredSize().width;
         }
 
-        setPreferredSize(new Dimension((cols + 1) * 50, getPreferredSize().height));
+        setPreferredSize(new Dimension(Math.max((cols + 1) * 50, minWidth + 10), getPreferredSize().height));
 
         pack();
 
@@ -175,7 +177,7 @@ public class DataEditor extends JDialog {
 
         @Override
         public void valueChanged(int addr) {
-            if (addr<0) {
+            if (addr < 0) {
                 // all values have changed!
                 fireEvent(new TableModelEvent(this));
             } else {