From 892254189878c8c2292fd5b1ffb2962d42f4a422 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 23 Mar 2015 11:10:12 +0100
Subject: [PATCH] InstallerJDialog: smoother scrolling

---
 .../cc/arduino/contributions/ui/InstallerJDialog.java | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/app/src/cc/arduino/contributions/ui/InstallerJDialog.java b/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
index 75619e06a..91ec2822a 100644
--- a/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
+++ b/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
@@ -141,11 +141,12 @@ public abstract class InstallerJDialog<T> extends JDialog {
     }
 
     {
-      JScrollPane s = new JScrollPane();
-      s.setViewportView(contribTable);
-      s.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);
-      s.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
-      pane.add(s, BorderLayout.CENTER);
+      JScrollPane scrollPane = new JScrollPane();
+      scrollPane.setViewportView(contribTable);
+      scrollPane.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);
+      scrollPane.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
+      scrollPane.getVerticalScrollBar().setUnitIncrement(7);
+      pane.add(scrollPane, BorderLayout.CENTER);
     }
 
     pane.add(Box.createHorizontalStrut(10), BorderLayout.WEST);