GEdit.spin_button(3o) on Linux

The text 65c7970b0b89, as Debian 4.0 (Etch) shipped it.

Retrieve an integer or floating-point number from the user

GEdit.spin_button(3o) on Linux now