Handbook Glossary
factorcode.org
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* ;