diff --git a/src/widgets/ot_time_picker.eliomi b/src/widgets/ot_time_picker.eliomi index d3fa9de1..5e64564e 100644 --- a/src/widgets/ot_time_picker.eliomi +++ b/src/widgets/ot_time_picker.eliomi @@ -1,5 +1,11 @@ {client{ + (** [time_picker ~discrete x f] produces a clock-style time picker + whose size is [x] * [x] pixels. When the user picks the time + [h]:[m] , we call [f h m]. If [discrete] is [true], the user + can only click on the twelve hours, i.e., m will always be + zero. *) + val time_picker : ?discrete:bool -> int -> (int -> int -> unit) ->