InstallerJDialog: smoother scrolling

Federico Fissore · Federico Fissore · commit 892254189878 · 2015-03-27T14:51:17.000+01:00
diff --git a/app/src/cc/arduino/contributions/ui/InstallerJDialog.java b/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
@@ -141,11 +141,12 @@ protected void onFilter(String[] _filters) {
     }
 
     {
-      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);

Original file line number	Diff line number	Diff line change
`@@ -141,11 +141,12 @@ protected void onFilter(String[] _filters) {`
`141`	`141`	`}`
`142`	`142`
`143`	`143`	`{`
`144`		`- JScrollPane s = new JScrollPane();`
`145`		`- s.setViewportView(contribTable);`
`146`		`- s.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);`
`147`		`- s.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);`
`148`		`- pane.add(s, BorderLayout.CENTER);`
	`144`	`+ JScrollPane scrollPane = new JScrollPane();`
	`145`	`+ scrollPane.setViewportView(contribTable);`
	`146`	`+ scrollPane.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);`
	`147`	`+ scrollPane.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);`
	`148`	`+ scrollPane.getVerticalScrollBar().setUnitIncrement(7);`
	`149`	`+ pane.add(scrollPane, BorderLayout.CENTER);`
`149`	`150`	`}`
`150`	`151`
`151`	`152`	`pane.add(Box.createHorizontalStrut(10), BorderLayout.WEST);`