|
|
@ -1,8 +1,6 @@ |
|
|
|
package com.fr.design.gui.ispinner; |
|
|
|
package com.fr.design.gui.ispinner; |
|
|
|
|
|
|
|
|
|
|
|
import com.fine.theme.icon.LazyIcon; |
|
|
|
import com.fine.theme.icon.LazyIcon; |
|
|
|
import com.fine.theme.light.ui.FineInputUI; |
|
|
|
|
|
|
|
import com.fine.theme.utils.FineUIScale; |
|
|
|
|
|
|
|
import com.fine.theme.utils.FineUIUtils; |
|
|
|
import com.fine.theme.utils.FineUIUtils; |
|
|
|
import com.fr.design.event.GlobalNameListener; |
|
|
|
import com.fr.design.event.GlobalNameListener; |
|
|
|
import com.fr.design.event.GlobalNameObserver; |
|
|
|
import com.fr.design.event.GlobalNameObserver; |
|
|
@ -17,7 +15,6 @@ import com.fr.stable.StringUtils; |
|
|
|
import javax.swing.BorderFactory; |
|
|
|
import javax.swing.BorderFactory; |
|
|
|
import javax.swing.Icon; |
|
|
|
import javax.swing.Icon; |
|
|
|
import javax.swing.JPanel; |
|
|
|
import javax.swing.JPanel; |
|
|
|
import javax.swing.UIManager; |
|
|
|
|
|
|
|
import javax.swing.event.ChangeEvent; |
|
|
|
import javax.swing.event.ChangeEvent; |
|
|
|
import javax.swing.event.ChangeListener; |
|
|
|
import javax.swing.event.ChangeListener; |
|
|
|
import javax.swing.event.DocumentEvent; |
|
|
|
import javax.swing.event.DocumentEvent; |
|
|
@ -36,6 +33,9 @@ import java.awt.event.MouseEvent; |
|
|
|
import java.awt.event.MouseWheelEvent; |
|
|
|
import java.awt.event.MouseWheelEvent; |
|
|
|
import java.awt.event.MouseWheelListener; |
|
|
|
import java.awt.event.MouseWheelListener; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
import static com.fine.theme.utils.FineUIStyle.STYLE_TEXT; |
|
|
|
|
|
|
|
import static com.fine.theme.utils.FineUIStyle.setStyle; |
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
/** |
|
|
|
* Spinner类 |
|
|
|
* Spinner类 |
|
|
|
* |
|
|
|
* |
|
|
@ -239,7 +239,7 @@ public class UISpinner extends JPanel implements UIObserver, GlobalNameObserver, |
|
|
|
@Override |
|
|
|
@Override |
|
|
|
public Dimension getPreferredSize() { |
|
|
|
public Dimension getPreferredSize() { |
|
|
|
Dimension dim = super.getPreferredSize(); |
|
|
|
Dimension dim = super.getPreferredSize(); |
|
|
|
dim.height = FineUIScale.scale(UIManager.getInt("Input.height")); |
|
|
|
dim.height = FineUIUtils.getAndScaleInt("Input.height", defaultButtonSize); |
|
|
|
return dim; |
|
|
|
return dim; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
@ -309,7 +309,7 @@ public class UISpinner extends JPanel implements UIObserver, GlobalNameObserver, |
|
|
|
return false; |
|
|
|
return false; |
|
|
|
} |
|
|
|
} |
|
|
|
}; |
|
|
|
}; |
|
|
|
arrowButton.setUI(new FineInputUI.FineInputButtonUI(false)); |
|
|
|
setStyle(arrowButton, STYLE_TEXT); |
|
|
|
return arrowButton; |
|
|
|
return arrowButton; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|