From 85de9456c59c17813be0d56fa6f60a6bbe8c9229 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Thu, 25 Jul 2019 17:57:13 +0200
Subject: [PATCH] increases the mouse wheel speed

---
 .../digital/gui/components/table/AllSolutionsDialog.java      | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/gui/components/table/AllSolutionsDialog.java b/src/main/java/de/neemann/digital/gui/components/table/AllSolutionsDialog.java
index f6bf889dd..253f6a91e 100644
--- a/src/main/java/de/neemann/digital/gui/components/table/AllSolutionsDialog.java
+++ b/src/main/java/de/neemann/digital/gui/components/table/AllSolutionsDialog.java
@@ -36,7 +36,9 @@ public class AllSolutionsDialog extends JDialog {
         expressionComponent.setPreferredSize(Screen.getInstance().scale(new Dimension(600, 300)));
         expressionComponent.setFont(font);
 
-        getContentPane().add(new JScrollPane(expressionComponent));
+        final JScrollPane scrollPane = new JScrollPane(expressionComponent);
+        scrollPane.getVerticalScrollBar().setUnitIncrement(16);
+        getContentPane().add(scrollPane);
 
         addWindowListener(new WindowAdapter() {
             @Override