To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package inquire
-
inquire.lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Type of widgets displaying a list of widget.
inherit tmethod add : ?position:int -> ?expand:bool -> t -> unitadd ?position ?expand widget adds a widget to the box. If expand is true (the default) then widget will occupy as much space as possible. If position is not specified then the widget is appended to the end of the widget list. It raises Out_of_range if the given position is negative or exceed the number of widgets.
method remove : t -> unitremove widget remove a widget from the box.