|
gptkbp:instance_of
|
gptkb:JComponent
|
|
gptkbp:can
|
minimum and maximum values
editor component
spinner buttons
|
|
gptkbp:can_be_configured_for
|
gptkb:machinery
accessibility features
font style
maximum size
step size
background color
focus traversal policy
foreground color
layout manager
minimum size
preferred size
button placement
border style
editor type
input verification
tool tips
value type
|
|
gptkbp:can_be_customized_with
|
UIManager
|
|
gptkbp:can_be_reset_to
|
default value
|
|
gptkbp:can_be_used_in
|
forms and dialogs
|
|
gptkbp:can_be_used_to
|
select dates and times
select numeric values
select objects from a list
|
|
gptkbp:can_be_used_with
|
gptkb:Spinner_Date_Model
gptkb:Spinner_List_Model
gptkb:Spinner_Number_Model
|
|
gptkbp:can_create
|
initial value
|
|
gptkbp:designed_for
|
Java GUI applications
|
|
gptkbp:has_expansion
|
gptkb:JComponent
|
|
gptkbp:has_method
|
set Value
get Value
add Change Listener
remove Change Listener
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
JSpinner
|
|
gptkbp:hyper_threading
|
false
|
|
gptkbp:is_available_on
|
gptkb:Java_1.4
|
|
gptkbp:is_part_of
|
gptkb:JFrame
gptkb:Java_Foundation_Classes
|
|
gptkbp:is_used_in
|
data entry applications
|
|
gptkbp:monitors
|
a list of values
|
|
gptkbp:nesting
|
gptkb:JPanel
|
|
gptkbp:provides
|
a way to select a number or object
|
|
gptkbp:responds_to
|
user input
|
|
gptkbp:serialization
|
gptkb:true
|
|
gptkbp:style
|
Look and Feel
|
|
gptkbp:supports
|
increment and decrement operations
|
|
gptkbp:type_of
|
gptkb:JComponent
|
|
gptkbp:bfsParent
|
gptkb:Java_2_Swing
gptkb:Swing_framework
|
|
gptkbp:bfsLayer
|
5
|