package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

lambda-term
- LTerm
- LTerm_buttons_impl
  - button
  - checkbutton
  - radio
  - radiobutton
  - radiogroup
  - t
- LTerm_color_mappings
- LTerm_containers_impl
  - abox
  - box
  - frame
  - hbox
  - modal_frame
  - t
  - vbox
- LTerm_dlist
- LTerm_draw
- LTerm_edit
  - edit
- LTerm_event
- LTerm_geom
- LTerm_history
- LTerm_inputrc
- LTerm_key
- LTerm_mouse
- LTerm_read_line
  - abstract
  - engine
  - read_keyword
  - read_line
  - read_password
  - term
- LTerm_resource_lexer
- LTerm_resources
- LTerm_running_impl
  - toplevel
- LTerm_scroll_impl
  - adjustment
  - hscrollbar
  - hslider
  - scrollable_adjustment
  - scrollbar
  - t
  - vscrollbar
  - vslider
- LTerm_style
- LTerm_text
- LTerm_toplevel_impl
  - t
  - toplevel
- LTerm_ui
- LTerm_unix
- LTerm_widget
  - adjustment
  - box
  - button
  - checkbutton
  - default_scroll_events
  - frame
  - hbox
  - hline
  - hscrollbar
  - hslider
  - label
  - modal_frame
  - radio
  - radiobutton
  - radiogroup
  - scrollable
  - scrollable_adjustment
  - scrollable_document
  - scrollable_private
  - spacing
  - t
  - vbox
  - vline
  - vscrollbar
  - vslider
- LTerm_widget_base_impl
  - t
- LTerm_widget_callbacks
- LTerm_windows

Legend:
Library
Module
Module type
Parameter
Class
Class type

A widget displaying a list of widgets, listed horizontally.

inherit t

method add : ?position:int -> ?expand:bool -> t -> unit

add ?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 -> unit

remove widget remove a widget from the box.