JSpinner
E1094402
UNEXPLORED
JSpinner is a Swing GUI component in Java that allows users to select a value from a sequence by incrementing or decrementing it with arrow controls.
All labels observed (1)
| Label | Occurrences |
|---|---|
| JSpinner canonical | 2 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.