Update JExtendedSpinner to the latest NB version

 - adds support for mouse wheel
 - fixes appearance problems on Windows Classic LAF

Author: jisedlac

visualvm/uisupport/src/com/sun/tools/visualvm/uisupport/JExtendedSpinner.java

@@ -25,10 +25,15 @@
 
 package com.sun.tools.visualvm.uisupport;
 
+import java.awt.Dimension;
 import java.awt.Font;
+import java.awt.event.MouseWheelEvent;
+import java.awt.event.MouseWheelListener;
 import javax.swing.JSpinner;
+import javax.swing.JTextField;
 import javax.swing.SpinnerModel;
 import javax.swing.UIManager;
+import org.netbeans.lib.profiler.ui.UIUtils;
 
 
 /**
@@ -40,6 +45,18 @@
 public class JExtendedSpinner extends JSpinner {
     //~ Constructors -------------------------------------------------------------------------------------------------------------
 
+    private static int defaultSpinnerHeight = -1;
+    
+    public static int getDefaultSpinnerHeight() {
+        if (defaultSpinnerHeight == -1) {
+            defaultSpinnerHeight = new JTextField().getPreferredSize().height;
+        }
+
+        return defaultSpinnerHeight;
+    }
+    
+    //~ Constructors -------------------------------------------------------------------------------------------------------------
+
     public JExtendedSpinner() {
         super();
         ((JSpinner.DefaultEditor) getEditor()).getTextField().setFont(UIManager.getFont("Label.font")); // NOI18N
@@ -50,6 +67,7 @@ public void keyPressed(final java.awt.event.KeyEvent e) {
                     }
                 }
             });
+        configureWheelListener();
     }
 
     public JExtendedSpinner(SpinnerModel model) {
@@ -62,6 +80,7 @@ public void keyPressed(final java.awt.event.KeyEvent e) {
                     }
                 }
             });
+        configureWheelListener();
     }
 
     //~ Methods ------------------------------------------------------------------------------------------------------------------
@@ -86,4 +105,35 @@ public void fixAccessibility() {
              .setAccessibleDescription(getAccessibleContext().getAccessibleDescription());
         }
     }
+    
+    
+    public Dimension getPreferredSize() {
+        if (UIUtils.isWindowsClassicLookAndFeel()) {
+            return new Dimension(super.getPreferredSize().width, getDefaultSpinnerHeight());
+        } else {
+            return super.getPreferredSize();
+        }
+    }
+
+    public Dimension getMinimumSize() {
+        if (UIUtils.isWindowsClassicLookAndFeel()) {
+            return getPreferredSize();
+        } else {
+            return super.getMinimumSize();
+        }
+    }
+    
+    
+    private void configureWheelListener() {
+        addMouseWheelListener(new MouseWheelListener() {
+            public void mouseWheelMoved(MouseWheelEvent e) {
+                if (e.getScrollType() != MouseWheelEvent.WHEEL_UNIT_SCROLL) return;
+                Object newValue = (e.getWheelRotation() < 0 ?
+                                   JExtendedSpinner.this.getNextValue() :
+                                   JExtendedSpinner.this.getPreviousValue());
+                if (newValue != null) JExtendedSpinner.this.setValue(newValue);
+            }
+        });
+    }
+    
 }