Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK
GTK.Range

Method GTK.Range()->get_timer()


Method get_timer

int get_timer()