package lambda-term
Class LTerm_widget.vslider
Vertical slider widget.
inherit tinherit adjustmentinherit default_scroll_eventsLTerm_widget.vsliderVertical slider widget.
inherit tinherit adjustmentinherit default_scroll_events