gptkbp:instance_of
|
gptkb:Java_Enhancement_Proposal
|
gptkbp:bfsLayer
|
4
|
gptkbp:bfsParent
|
gptkb:Java_FX_11
|
gptkbp:bounded_by
|
properties
|
gptkbp:can_be
|
initial value
maximum value
minimum value
listeners for value changes
|
gptkbp:can_be_extended_by
|
custom classes
|
gptkbp:can_be_used_with
|
different data types
other UI controls
|
gptkbp:can_create
|
default values
|
gptkbp:character_customization
|
value factory
|
gptkbp:controls
|
user input
|
gptkbp:developed_by
|
gptkb:Database_Management_System
|
gptkbp:enables
|
true/false state
|
gptkbp:has
|
Spinner Value Factory class
Spinner class
|
https://www.w3.org/2000/01/rdf-schema#label
|
Java FX Spinner API
|
gptkbp:is_available_in
|
Java FX 2.0 and later
|
gptkbp:is_available_on
|
gptkb:Java_7
|
gptkbp:is_compatible_with
|
gptkb:Java_FX_Scene_Graph
gptkb:Java_Enhancement_Proposal
|
gptkbp:is_documented_in
|
Java FX documentation
|
gptkbp:is_integrated_with
|
FXML
|
gptkbp:is_part_of
|
Java FXSDK
Java FX controls library
Java FXUI controls
Java FXUI toolkit
|
gptkbp:is_supported_by
|
gptkb:multiple_platforms
|
gptkbp:is_tested_for
|
unit tests
|
gptkbp:is_used_for
|
data entry
create user interfaces
create forms
selecting numeric values
|
gptkbp:is_used_in
|
gptkb:mobile_application
desktop applications
web applications
Java applications
|
gptkbp:monitors
|
text field
arrows for incrementing/decrementing
|
gptkbp:part_of
|
Java FX framework
|
gptkbp:provides
|
increment and decrement functionality
|
gptkbp:requires
|
gptkb:software
|
gptkbp:setting
|
properties
|
gptkbp:style
|
gptkb:CSS
Java FXCSS
|
gptkbp:supports
|
data binding
event handling
|
gptkbp:updates
|
dynamically
|
gptkbp:written_in
|
gptkb:Java
|