steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.browser: use default-text to make search box prettier.

db4
John Benediktsson 2015-08-16 13:45:29 -07:00
parent f24444e990
commit 6de244da44
1 changed files with 22 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
basis/ui/tools/browser/browser.factor
View File

@ -1,16 +1,17 @@
! Copyright (C) 2006, 2009 Slava Pestov. ! Copyright (C) 2006, 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: accessors arrays assocs classes combinators USING: accessors arrays assocs classes colors.constants
combinators.short-circuit compiler.units debugger fry help combinators combinators.short-circuit compiler.units debugger
help.apropos help.crossref help.home help.markup help.stylesheet documents fry help help.apropos help.crossref help.home
help.topics io.styles kernel locals make models namespaces help.markup help.stylesheet help.topics io.styles kernel locals
sequences sets ui ui.commands ui.gadgets ui.gadgets.borders make models namespaces sequences sets ui ui.commands ui.gadgets
ui.gadgets.editors ui.gadgets.glass ui.gadgets.labels ui.gadgets.borders ui.gadgets.editors ui.gadgets.editors.private
ui.gadgets.glass ui.gadgets.labels ui.gadgets.labels.private
ui.gadgets.panes ui.gadgets.scrollers ui.gadgets.status-bar ui.gadgets.panes ui.gadgets.scrollers ui.gadgets.status-bar
ui.gadgets.theme ui.gadgets.toolbar ui.gadgets.tracks ui.gadgets.theme ui.gadgets.toolbar ui.gadgets.tracks
ui.gadgets.viewports ui.gadgets.worlds ui.gestures ui.pens.solid ui.gadgets.viewports ui.gadgets.worlds ui.gestures ui.pens.solid
ui.tools.browser.history ui.tools.browser.popups ui.tools.common ui.render ui.text ui.tools.browser.history
vocabs ; ui.tools.browser.popups ui.tools.common vocabs ;
IN: ui.tools.browser IN: ui.tools.browser
TUPLE: browser-gadget < tool history scroller search-field popup ; TUPLE: browser-gadget < tool history scroller search-field popup ;
@ -45,17 +46,15 @@ CONSTANT: next 1
[ prefix 1array ] dip add-navigation-arrow , ; [ prefix 1array ] dip add-navigation-arrow , ;
:: ($navigation) ( topic direction -- ) :: ($navigation) ( topic direction -- )
help-path-style get [
topic [ topic [
direction prev/next-article direction prev/next-article
[ 1array \ $long-link direction $navigation-arrow ] when* [ 1array \ $long-link direction $navigation-arrow ] when*
] { } make [ ($navigation-table) ] unless-empty ; ] { } make [ ($navigation-table) ] unless-empty
] with-style ;
: $navigation ( topic direction -- ) : $navigation ( topic direction -- )
title-style get [ title-style get [ ($navigation) ] with-style ;
help-path-style get [
($navigation)
] with-style
] with-style ;
: $title ( topic -- ) : $title ( topic -- )
title-style get clone page-color over delete-at dup title-style get clone page-color over delete-at dup
@ -102,12 +101,17 @@ CONSTANT: next 1
: <search-field> ( browser -- field ) : <search-field> ( browser -- field )
'[ _ search-browser ] <action-field> '[ _ search-browser ] <action-field>
dup editor>> "Search" >>default-text drop
10 >>min-cols 10 >>min-cols
10 >>max-cols 10 >>max-cols
white-interior ; white-interior ;
: <browser-toolbar> ( browser -- toolbar ) : <browser-toolbar> ( browser -- toolbar )
[ <toolbar> ] [ search-field>> "Search" label-on-left 1 track-add ] bi ; [ <toolbar> ] [
search-field>> horizontal <track>
0 >>fill swap 1 track-add
1 track-add
] bi ;
: add-browser-toolbar ( track -- track ) : add-browser-toolbar ( track -- track )
dup <browser-toolbar> format-toolbar f track-add ; dup <browser-toolbar> format-toolbar f track-add ;