1 ! Copyright (C) 2006, 2009 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors arrays assocs classes colors.constants
4 combinators combinators.short-circuit compiler.units debugger
5 documents fry help help.apropos help.crossref help.home
6 help.markup help.stylesheet help.topics io.styles kernel locals
7 make models namespaces sequences sets ui ui.commands ui.gadgets
8 ui.gadgets.borders ui.gadgets.editors ui.gadgets.editors.private
9 ui.gadgets.glass ui.gadgets.labels ui.gadgets.labels.private
10 ui.gadgets.panes ui.gadgets.scrollers ui.gadgets.status-bar
11 ui.theme ui.gadgets.toolbar ui.gadgets.tracks
12 ui.gadgets.viewports ui.gadgets.worlds ui.gestures ui.pens.solid
13 ui.render ui.text ui.tools.browser.history
14 ui.tools.browser.popups ui.tools.common vocabs ;
17 TUPLE: browser-gadget < tool history scroller search-field popup ;
19 { 650 700 } browser-gadget set-tool-dim
21 M: browser-gadget history-value
22 [ control-value ] [ scroller>> scroll-position ]
25 M: browser-gadget set-history-value
27 [ set-control-value ] [ scroller>> set-scroll-position ]
30 : show-help ( link browser-gadget -- )
34 [ 2drop ] [ [ add-recent ] [ history>> add-history ] bi* ] if
42 : add-navigation-arrow ( str direction -- str )
43 prev = [ "<" prefix ] [ ">" suffix ] if ;
45 : $navigation-arrow ( content element direction -- )
46 [ prefix 1array ] dip add-navigation-arrow , ;
48 :: ($navigation) ( topic direction -- )
51 direction prev/next-article
52 [ 1array \ $long-link direction $navigation-arrow ] when*
53 ] { } make [ ($navigation-table) ] unless-empty
56 : $navigation ( topic direction -- )
57 title-style get [ ($navigation) ] with-style ;
60 title-style get clone page-color over delete-at dup
64 [ ($navigation-path) ] bi
68 : <help-header> ( browser-gadget -- gadget )
69 model>> [ '[ _ $title ] try ] <pane-control> ;
71 : add-help-header ( track -- track )
72 dup <help-header> { 3 3 } <border>
73 help-header-background <solid> >>interior
74 { 1 0 } >>fill f track-add ;
76 : <help-footer> ( browser-gadget direction -- gadget )
77 [ model>> ] dip '[ [ _ $navigation ] try ] <pane-control>
78 { 0 0 } <border> { 1/2 1/2 } >>align
79 toolbar-background <solid> >>interior ;
81 : add-help-footer ( track -- track )
82 horizontal <track> with-lines
83 dupd swap prev <help-footer> 1 track-add
84 dupd swap next <help-footer> 1 track-add
87 : print-topic ( topic -- )
90 article-content print-content ;
92 : <help-pane> ( browser-gadget -- gadget )
93 model>> [ '[ _ print-topic ] try ] <pane-control> ;
95 : add-help-pane ( track -- track )
96 dup dup <help-pane> margins
97 <scroller> >>scroller scroller>> white-interior 1 track-add ;
99 : search-browser ( string browser -- )
100 '[ <apropos-search> _ show-help ] unless-empty ;
102 : <search-field> ( browser -- field )
103 '[ _ search-browser ] <action-field>
104 [ theme-font-colors ] change-editor
105 "Search" >>default-text
110 : <browser-toolbar> ( browser -- toolbar )
112 search-field>> horizontal <track>
113 0 >>fill swap 1 track-add
117 : add-browser-toolbar ( track -- track )
118 dup <browser-toolbar> format-toolbar f track-add ;
120 : <browser-gadget> ( link -- gadget )
121 vertical browser-gadget new-track with-lines
123 swap >link <model> >>model
124 dup <history> >>history
125 dup <search-field> >>search-field
131 M: browser-gadget graft*
132 [ add-definition-observer ] [ call-next-method ] bi ;
134 M: browser-gadget ungraft*
135 [ call-next-method ] [ remove-definition-observer ] bi ;
137 M: browser-gadget handle-gesture
139 { [ over key-gesture? not ] [ call-next-method ] }
140 { [ dup popup>> ] [ { [ pass-to-popup ] [ call-next-method ] } 2&& ] }
144 : showing-definition? ( defspec set -- ? )
147 [ [ dup word-link? [ name>> ] when ] dip in? ]
148 [ [ dup vocab-link? [ lookup-vocab ] when ] dip in? ]
151 M: browser-gadget definitions-changed ( set browser -- )
152 [ control-value swap showing-definition? ] keep
153 '[ _ [ history-value ] keep set-history-value ] when ;
155 M: browser-gadget focusable-child* search-field>> ;
157 : (browser-window) ( topic -- )
163 : browser-window ( -- )
164 "help.home" (browser-window) ;
166 : error-help-window ( error -- )
169 [ dup tuple? [ class-of ] [ drop "errors" ] if ]
170 } 1|| (browser-window) ;
172 \ browser-window H{ { +nullary+ t } } define-command
174 : com-browse ( link -- )
175 [ browser-gadget? ] find-window
176 [ [ raise-window ] [ gadget-child show-help ] bi ]
177 [ (browser-window) ] if* ;
179 : show-browser ( -- )
180 [ browser-gadget? ] find-window
181 [ [ raise-window ] [ request-focus ] bi ] [ browser-window ] if* ;
183 \ show-browser H{ { +nullary+ t } } define-command
185 : com-back ( browser -- ) history>> go-back ;
187 : com-forward ( browser -- ) history>> go-forward ;
189 : com-home ( browser -- ) "help.home" swap show-help ;
191 : browser-help ( -- ) "ui-browser" com-browse ;
193 : glossary ( -- ) "conventions" com-browse ;
195 \ browser-help H{ { +nullary+ t } } define-command
196 \ glossary H{ { +nullary+ t } } define-command
198 browser-gadget "toolbar" f {
199 { T{ key-down f { A+ } "LEFT" } com-back }
200 { T{ key-down f { A+ } "RIGHT" } com-forward }
201 { T{ key-down f { A+ } "H" } com-home }
202 { T{ key-down f f "F1" } browser-help }
203 { T{ key-down f { A+ } "F1" } glossary }
206 : ?show-help ( link browser -- )
207 over [ show-help ] [ 2drop ] if ;
209 : navigate ( browser quot -- )
210 '[ control-value @ ] keep ?show-help ; inline
212 : com-up ( browser -- ) [ article-parent ] navigate ;
214 : com-prev ( browser -- ) [ prev-article ] navigate ;
216 : com-next ( browser -- ) [ next-article ] navigate ;
218 browser-gadget "navigation" "Commands for navigating in the article hierarchy" {
219 { T{ key-down f { A+ } "u" } com-up }
220 { T{ key-down f { A+ } "p" } com-prev }
221 { T{ key-down f { A+ } "n" } com-next }
222 { T{ key-down f { A+ } "k" } com-show-outgoing-links }
223 { T{ key-down f { A+ } "K" } com-show-incoming-links }
226 browser-gadget "multi-touch" f {
227 { left-action com-back }
228 { right-action com-forward }
231 browser-gadget "scrolling"
232 "The browser's scroller can be scrolled from the keyboard."
234 { T{ key-down f f "UP" } com-scroll-up }
235 { T{ key-down f f "DOWN" } com-scroll-down }
236 { T{ key-down f f "PAGE_UP" } com-page-up }
237 { T{ key-down f f "PAGE_DOWN" } com-page-down }
240 : com-font-size-plus ( browser -- )
241 2 adjust-help-font-size model>> notify-connections ;
243 : com-font-size-minus ( browser -- )
244 -2 adjust-help-font-size model>> notify-connections ;
246 browser-gadget "fonts" f {
247 { T{ key-down f { A+ } "+" } com-font-size-plus }
248 { T{ key-down f { A+ } "=" } com-font-size-plus }
249 { T{ key-down f { A+ } "_" } com-font-size-minus }
250 { T{ key-down f { A+ } "-" } com-font-size-minus }