From 50fd1db2c7291c8bd8e50823c4ef10039e34bb73 Mon Sep 17 00:00:00 2001 From: hneemann Date: Wed, 25 Sep 2019 17:38:11 +0200 Subject: [PATCH] adds missing initial setup --- .../de/neemann/digital/gui/components/table/TableDialog.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main/java/de/neemann/digital/gui/components/table/TableDialog.java b/src/main/java/de/neemann/digital/gui/components/table/TableDialog.java index fb0ff162d..6264bc615 100644 --- a/src/main/java/de/neemann/digital/gui/components/table/TableDialog.java +++ b/src/main/java/de/neemann/digital/gui/components/table/TableDialog.java @@ -291,6 +291,9 @@ public class TableDialog extends JDialog { setJMenuBar(bar); + karnaughMenuAction.setEnabled(undoManager.getActual().getVars().size() <= 4); + calculateExpressions(); + getContentPane().add(new JScrollPane(table)); getContentPane().add(statusBar, BorderLayout.SOUTH); pack();