gemini-gadget

Vocabulary

gemini.ui

Definition

USING: ui.tools.common ;

IN: gemini.ui

TUPLE: gemini-gadget < tool history scroller url-field ;

Methods

USING: accessors arrays gemini.ui kernel ui.gadgets
ui.gadgets.viewports ui.tools.browser.history ;

M: gemini-gadget history-value
    [ control-value ] [ scroller>> scroll-position ] bi 2array ;


USING: accessors gemini.ui kernel models present
ui.gadgets.editors ;

M: gemini-gadget model-changed
    [ value>> present ]
    [ url-field>> editor>> set-editor-string ] bi* ;


USING: accessors gemini.ui kernel sequences ui.gadgets
ui.gadgets.scrollers ui.tools.browser.history ;

M: gemini-gadget set-history-value
    [ first2 ] dip
    [ set-control-value ] [ scroller>> set-scroll-position ]
    bi-curry bi* ;