To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
-
lambda-term
Library
Module
Module type
Parameter
Class
Class type
Radiobutton. The button which implements radio
object contract, so can be added to radiogroup
.
inherit t
The state of the button; true
if button is "on" and false
if the button is "off".
Switches the button state to "on". Affects only how the button is drawn, does not change the state of the group the button is added to. Use radiogroup
.switch_to instead.
Switches the button state to "off". Affects only how the button is drawn, does not change the state of the group the button is added to. Use radiogroup
.switch_to instead.
method label_zed : Zed_string.t
The text displayed on the button.
method on_click : ?switch:LTerm_widget_callbacks.switch ->
(unit -> unit) ->
unit
on_click ?switch f
calls f
when the button is clicked. You probably want to use radiogroup
.on_state_change instead.