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

ui.tools.listener: fix introduction font sizes. 

(should be smaller than default-style)
locals-and-roots
John Benediktsson 2016-04-29 18:30:59 -07:00
parent 52ceae3790
commit f7d92e4712
1 changed files with 13 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
basis/ui/tools/listener/listener.factor
View File

@ -1,11 +1,12 @@
! Copyright (C) 2005, 2010 Slava Pestov. ! Copyright (C) 2005, 2010 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: accessors arrays assocs calendar combinators USING: accessors arrays assocs calendar combinators
combinators.short-circuit concurrency.flags concurrency.mailboxes combinators.short-circuit concurrency.flags
continuations destructors documents documents.elements fry hashtables concurrency.mailboxes continuations destructors documents
help help.markup help.tips io io.styles kernel lexer listener locals documents.elements fonts fry hashtables help help.markup
math models models.arrow models.delay namespaces parser prettyprint help.tips io io.styles kernel lexer listener literals locals
sequences source-files.errors strings system threads math models models.arrow models.delay namespaces parser
prettyprint sequences source-files.errors strings system threads
tools.errors.model ui ui.commands ui.gadgets ui.gadgets.editors tools.errors.model ui ui.commands ui.gadgets ui.gadgets.editors
ui.gadgets.glass ui.gadgets.labeled ui.gadgets.panes ui.gadgets.glass ui.gadgets.labeled ui.gadgets.panes
ui.gadgets.scrollers ui.gadgets.status-bar ui.gadgets.theme ui.gadgets.scrollers ui.gadgets.status-bar ui.gadgets.theme
@ -384,9 +385,13 @@ interactor "completion" f {
} define-command-map } define-command-map
: introduction. ( -- ) : introduction. ( -- )
tip-of-the-day. nl [
{ $strong "Press " { $snippet "F1" } " at any time for help." } print-content nl H{ { font-size $ default-font-size } } [
version-info print-content nl nl ; { $tip-of-the-day } print-element nl
{ $strong "Press " { $snippet "F1" } " at any time for help." } print-element nl
version-info print-element
] with-style
] with-default-style nl nl ;
: listener-thread ( listener -- ) : listener-thread ( listener -- )
dup listener-streams [ dup listener-streams [