2006-03-24 13:19:14 -05:00
|
|
|
! Copyright (C) 2006 Slava Pestov.
|
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
2006-03-24 03:28:46 -05:00
|
|
|
IN: gadgets-browser
|
2006-05-31 18:45:11 -04:00
|
|
|
USING: gadgets gadgets-buttons gadgets-labels gadgets-panes
|
2006-06-12 02:41:19 -04:00
|
|
|
gadgets-presentations gadgets-scrolling gadgets-search
|
|
|
|
gadgets-tabs gadgets-theme gadgets-tiles gadgets-tracks generic
|
|
|
|
hashtables help inspector kernel math prettyprint sequences
|
|
|
|
words ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
2006-05-20 16:42:33 -04:00
|
|
|
TUPLE: browser-track showing builder closer ;
|
|
|
|
|
|
|
|
C: browser-track ( builder closer -- gadget )
|
2006-06-23 00:06:53 -04:00
|
|
|
{ 0 1 } <track> over set-delegate
|
2006-05-20 16:42:33 -04:00
|
|
|
H{ } clone over set-browser-track-showing
|
|
|
|
[ set-browser-track-closer ] keep
|
|
|
|
[ set-browser-track-builder ] keep ;
|
|
|
|
|
|
|
|
: showing-asset? ( asset track -- ? )
|
|
|
|
browser-track-showing hash-member? ;
|
|
|
|
|
|
|
|
: (show-asset) ( gadget asset track -- )
|
|
|
|
[ browser-track-showing set-hash ] 3keep nip track-add ;
|
|
|
|
|
|
|
|
: show-asset ( asset track -- )
|
|
|
|
2dup showing-asset? [
|
|
|
|
2drop
|
|
|
|
] [
|
|
|
|
[ browser-track-builder call ] 2keep (show-asset)
|
|
|
|
] if ;
|
|
|
|
|
|
|
|
: hide-asset ( asset track -- )
|
|
|
|
[ dup browser-track-closer call ] 2keep
|
|
|
|
[ browser-track-showing remove-hash* ] keep track-remove ;
|
|
|
|
|
2006-06-26 01:54:25 -04:00
|
|
|
TUPLE: browser vocab-track word-track ;
|
2006-03-24 13:19:14 -05:00
|
|
|
|
|
|
|
: find-browser [ browser? ] find-parent ;
|
|
|
|
|
2006-05-20 16:42:33 -04:00
|
|
|
: close-tile ( tile -- )
|
|
|
|
dup gadget-parent [
|
|
|
|
browser-track-showing hash>alist rassoc
|
|
|
|
] keep hide-asset ;
|
|
|
|
|
2006-05-25 23:25:00 -04:00
|
|
|
: <browser-tile> ( gadget title -- gadget )
|
|
|
|
[ close-tile ] <tile> ;
|
2006-05-20 16:42:33 -04:00
|
|
|
|
|
|
|
: showing-word? ( word browser -- ? )
|
|
|
|
browser-word-track showing-asset? ;
|
2006-03-24 03:28:46 -05:00
|
|
|
|
2006-05-20 02:13:44 -04:00
|
|
|
DEFER: show-vocab
|
2006-03-24 13:39:18 -05:00
|
|
|
|
2006-05-25 23:25:00 -04:00
|
|
|
: <word-pages> ( word -- tabs )
|
|
|
|
{
|
|
|
|
{ "Definition" [ see ] }
|
2006-06-17 01:03:56 -04:00
|
|
|
{ "Documentation" [ help ] }
|
2006-05-25 23:25:00 -04:00
|
|
|
{ "Calls in" [ usage. ] }
|
|
|
|
{ "Properties" [ word-props describe ] }
|
|
|
|
} <pages> ;
|
|
|
|
|
2006-05-20 16:42:33 -04:00
|
|
|
: <word-view> ( word -- gadget )
|
2006-06-17 01:03:56 -04:00
|
|
|
[ <word-pages> ] keep word-name <browser-tile> ;
|
2006-05-20 16:42:33 -04:00
|
|
|
|
2006-05-20 02:13:44 -04:00
|
|
|
: show-word ( word browser -- )
|
2006-05-20 16:42:33 -04:00
|
|
|
over word-vocabulary over show-vocab
|
|
|
|
browser-word-track show-asset ;
|
2006-03-25 17:41:40 -05:00
|
|
|
|
2006-05-20 02:13:44 -04:00
|
|
|
: hide-word ( word browser -- )
|
2006-05-20 16:42:33 -04:00
|
|
|
browser-word-track hide-asset ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
|
|
|
: toggle-word ( word browser -- )
|
|
|
|
2dup showing-word? [ hide-word ] [ show-word ] if ;
|
|
|
|
|
|
|
|
: <word-button> ( word -- gadget )
|
|
|
|
dup word-name <label> swap
|
|
|
|
[ swap find-browser toggle-word ] curry
|
|
|
|
<roll-button> ;
|
2006-03-24 03:28:46 -05:00
|
|
|
|
2006-05-20 16:42:33 -04:00
|
|
|
: <vocab-view> ( vocab -- gadget )
|
2006-03-24 03:28:46 -05:00
|
|
|
[
|
2006-05-20 02:13:44 -04:00
|
|
|
words natural-sort
|
|
|
|
[ <word-button> ] map make-pile <scroller>
|
2006-05-25 23:25:00 -04:00
|
|
|
] keep <browser-tile> ;
|
2006-03-24 03:28:46 -05:00
|
|
|
|
2006-05-20 02:13:44 -04:00
|
|
|
: showing-vocab? ( vocab browser -- ? )
|
2006-05-20 16:42:33 -04:00
|
|
|
browser-vocab-track showing-asset? ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
|
|
|
: show-vocab ( vocab browser -- )
|
2006-05-30 18:57:34 -04:00
|
|
|
over [ browser-vocab-track show-asset ] [ 2drop ] if ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
|
|
|
: hide-vocab-words ( vocab browser -- )
|
|
|
|
[
|
2006-05-20 16:42:33 -04:00
|
|
|
browser-word-track browser-track-showing hash-keys
|
2006-05-20 02:13:44 -04:00
|
|
|
[ word-vocabulary = ] subset-with
|
|
|
|
] keep swap [ swap hide-word ] each-with ;
|
|
|
|
|
|
|
|
: hide-vocab ( vocab browser -- )
|
2006-05-20 16:42:33 -04:00
|
|
|
browser-vocab-track hide-asset ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
|
|
|
: toggle-vocab ( word browser -- )
|
|
|
|
2dup showing-vocab? [ hide-vocab ] [ show-vocab ] if ;
|
|
|
|
|
|
|
|
: <vocab-button> ( vocab -- gadget )
|
|
|
|
dup <label> swap
|
|
|
|
[ swap find-browser toggle-vocab ] curry
|
|
|
|
<roll-button> ;
|
|
|
|
|
|
|
|
: <vocabs> ( -- gadget )
|
|
|
|
vocabs [ <vocab-button> ] map make-pile <scroller>
|
2006-05-20 16:42:33 -04:00
|
|
|
"Vocabularies" f <tile> ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
2006-05-20 16:42:33 -04:00
|
|
|
: <vocab-track> ( -- track )
|
|
|
|
[ <vocab-view> ] [ find-browser hide-vocab-words ]
|
|
|
|
<browser-track> ;
|
|
|
|
|
|
|
|
: <word-track> ( -- track )
|
|
|
|
[ <word-view> ] [ 2drop ] <browser-track> ;
|
|
|
|
|
2006-05-20 02:13:44 -04:00
|
|
|
C: browser ( -- browser )
|
2006-05-25 23:25:00 -04:00
|
|
|
{
|
2006-06-26 01:54:25 -04:00
|
|
|
{ [ <vocabs> ] f 1/5 }
|
2006-05-26 02:29:44 -04:00
|
|
|
{ [ <vocab-track> ] set-browser-vocab-track 1/5 }
|
|
|
|
{ [ <word-track> ] set-browser-word-track 3/5 }
|
2006-06-23 00:06:53 -04:00
|
|
|
} { 1 0 } make-track* ;
|
2006-05-25 23:25:00 -04:00
|
|
|
|
2006-05-26 02:29:44 -04:00
|
|
|
M: browser gadget-title drop "Browser" ;
|
|
|
|
|
|
|
|
: browser-window ( -- ) <browser> open-window ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
2006-05-25 23:25:00 -04:00
|
|
|
: browser-tool
|
|
|
|
[ browser? ]
|
|
|
|
[ <browser> ]
|
|
|
|
[ show-word ] ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
2006-06-12 02:41:19 -04:00
|
|
|
M: word show ( word -- ) browser-tool call-tool ;
|