/*
 * MIT License
 *
 * Copyright (c) 2021 Jannis Weis
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
 * associated documentation files (the "Software"), to deal in the Software without restriction,
 * including without limitation the rights to use, copy, modify, merge, publish, distribute,
 * sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in all copies or
 * substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
 * NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
 * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 *
 */
package com.github.weisj.darklaf.ui.spinner;

import java.awt.*;
import java.awt.event.*;
import java.beans.PropertyChangeEvent;
import java.beans.PropertyChangeListener;

import javax.swing.*;

import com.github.weisj.darklaf.util.DarkUIUtil;
import com.github.weisj.darklaf.util.PropertyKey;

public class DarkSpinnerListener extends MouseAdapter
        implements PropertyChangeListener, FocusListener, SpinnerConstants {

    protected final JSpinner spinner;
    protected final DarkSpinnerUI ui;

    public DarkSpinnerListener(final JSpinner spinner, final DarkSpinnerUI ui) {
        this.spinner = spinner;
        this.ui = ui;
    }

    @Override
    public void mousePressed(final MouseEvent e) {
        super.mousePressed(e);
        spinner.getEditor().requestFocusInWindow();
    }

    @Override
    public void focusGained(final FocusEvent e) {
        spinner.repaint();
    }

    @Override
    public void focusLost(final FocusEvent e) {
        spinner.repaint();
    }

    @Override
    public void propertyChange(final PropertyChangeEvent evt) {
        String key = evt.getPropertyName();
        Component editorComponent = ui.getEditorComponent();
        JComponent editor = ui.getEditor();
        if (PropertyKey.OPAQUE.equals(key)) {
            boolean val = Boolean.TRUE.equals(evt.getNewValue());
            spinner.getEditor().setOpaque(val);
            if (editorComponent instanceof JComponent) {
                ((JComponent) editorComponent).setOpaque(val);
            }
        } else if (KEY_IS_TABLE_EDITOR.equals(key)) {
            if (Boolean.FALSE.equals(evt.getNewValue())) {
                if (editor instanceof JSpinner.DefaultEditor) {
                    // if editor alignment isn't set in LAF, we get 0 (CENTER) here
                    int alignment = UIManager.getInt("Spinner.editorAlignment");
                    JTextField text = ((JSpinner.DefaultEditor) editor).getTextField();
                    text.setHorizontalAlignment(alignment);
                }
            }
            spinner.revalidate();
            spinner.repaint();
        } else if (KEY_EDITOR_ALIGNMENT.equals(key) && SpinnerConstants.isTableCellEditor(spinner)) {
            if (editorComponent instanceof JTextField && evt.getNewValue() instanceof Integer) {
                int alignment = (Integer) evt.getNewValue();
                ((JTextField) editorComponent).setHorizontalAlignment(alignment);
            }
            spinner.revalidate();
        } else if (KEY_VARIANT.equals(key)) {
            spinner.repaint();
        } else if (KEY_IS_TREE_EDITOR.equals(key)) {
            spinner.revalidate();
            spinner.repaint();
        } else if (PropertyKey.ENABLED.equals(key)) {
            ui.updateBackground();
        }
    }

    @Override
    public void mouseWheelMoved(final MouseWheelEvent e) {
        super.mouseWheelMoved(e);
        if (!DarkUIUtil.hasFocus(spinner)) return;
        int rotation = e.getWheelRotation();
        if (rotation > 0) {
            spinner.setValue(spinner.getPreviousValue());
        } else if (rotation < 0) {
            spinner.setValue(spinner.getNextValue());
        }
    }
}

@@ -4114,24 +4114,42 @@
 Rotation();%0A
+        try %7B%0A    
         if (
@@ -4167,32 +4167,59 @@
 0) %7B%0A           
+     Object previousValue =
  spinner.setValu
@@ -4211,33 +4211,120 @@
 spinner.
-setValue(
+getModel().getPreviousValue();%0A                if (previousValue != null) %7B%0A                    
 spinner.
 getPrevi
@@ -4315,20 +4315,26 @@
 spinner.
-getP
+setValue(p
 reviousV
@@ -4333,29 +4333,82 @@
 reviousValue
-()
 );%0A
+                    e.consume();%0A                %7D%0A    
         %7D el
@@ -4433,32 +4433,55 @@
 0) %7B%0A           
+     Object nextValue =
  spinner.setValu
@@ -4477,25 +4477,104 @@
 ner.
-setValue(
+getModel().getNextValue();%0A                if (nextValue != null) %7B%0A                    
 spinner.
 getN
@@ -4569,28 +4569,34 @@
 spinner.
-getN
+setValue(n
 extValue
 ());%0A   
@@ -4583,28 +4583,158 @@
 ue(nextValue
-()
 );
+%0A                    e.consume();%0A                %7D%0A            %7D%0A        %7D catch (Exception ignored) %7B%0A            // Invalid value
 %0A        %7D%0A 

Check validity of next/previous value. Also consume the even if setting the value was successful.