Extracted from Pike v8.0 release 240 as of 2016-05-30.
   

Method GTK2.SpinButton()->set_numeric()


Method set_numeric

GTK2.SpinButton set_numeric(int numericp)

Description

If true, it is a numeric value. This prevents a user from typing anything other than numeric values into the text box of a Spin Button