ui.tools.browser: better to remove page-color than change it.

db4
John Benediktsson 2015-08-16 12:58:38 -07:00
parent 7dd0acbf0f
commit f3608deb63
1 changed files with 11 additions and 13 deletions

View File

@ -1,16 +1,16 @@
! 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 combinators
combinators.short-circuit compiler.units debugger fry hashtables combinators.short-circuit compiler.units debugger fry help
help help.apropos help.crossref help.home help.markup help.apropos help.crossref help.home help.markup help.stylesheet
help.stylesheet help.topics io.styles kernel locals make models help.topics io.styles kernel locals make models namespaces
namespaces sequences sets ui ui.commands ui.gadgets sequences sets ui ui.commands ui.gadgets ui.gadgets.borders
ui.gadgets.borders ui.gadgets.editors ui.gadgets.glass ui.gadgets.editors ui.gadgets.glass ui.gadgets.labels
ui.gadgets.labels ui.gadgets.panes ui.gadgets.scrollers ui.gadgets.panes ui.gadgets.scrollers ui.gadgets.status-bar
ui.gadgets.status-bar ui.gadgets.theme ui.gadgets.toolbar ui.gadgets.theme ui.gadgets.toolbar ui.gadgets.tracks
ui.gadgets.tracks ui.gadgets.viewports ui.gadgets.worlds ui.gadgets.viewports ui.gadgets.worlds ui.gestures ui.pens.solid
ui.gestures ui.pens.solid ui.tools.browser.history ui.tools.browser.history ui.tools.browser.popups ui.tools.common
ui.tools.browser.popups ui.tools.common vocabs ; 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 ;
@ -58,9 +58,7 @@ CONSTANT: next 1
] with-style ; ] with-style ;
: $title ( topic -- ) : $title ( topic -- )
title-style get title-style get clone page-color over delete-at dup
help-header-background page-color associate
assoc-union dup
[ [
[ [
[ ($title) ] [ ($title) ]