From: John Benediktsson Date: Wed, 24 Mar 2021 04:28:17 +0000 (-0700) Subject: ui.tools.listener: enable font increase and decrease. X-Git-Tag: 0.99~2368 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=d820144c28c7373756aec77684e1cdde317409a3 ui.tools.listener: enable font increase and decrease. --- diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index a8140c52bf..0532a66375 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -5,13 +5,14 @@ combinators.short-circuit concurrency.flags concurrency.mailboxes continuations destructors documents documents.elements fonts fry hashtables help help.markup help.tips io io.styles kernel lexer listener literals locals -math math.vectors models models.arrow models.delay namespaces -parser prettyprint sequences source-files.errors strings system -threads ui ui.commands ui.gadgets ui.gadgets.editors -ui.gadgets.glass ui.gadgets.labeled ui.gadgets.panes -ui.gadgets.scrollers ui.gadgets.status-bar ui.gadgets.toolbar -ui.gadgets.tracks ui.gestures ui.operations ui.pens.solid -ui.theme ui.tools.browser ui.tools.common ui.tools.debugger +math math.order math.vectors models models.arrow models.delay +namespaces namespaces.private parser prettyprint sequences +source-files.errors strings system threads ui ui.commands +ui.gadgets ui.gadgets.editors ui.gadgets.glass +ui.gadgets.labeled ui.gadgets.panes ui.gadgets.scrollers +ui.gadgets.status-bar ui.gadgets.toolbar ui.gadgets.tracks +ui.gestures ui.operations ui.pens.solid ui.theme +ui.tools.browser ui.tools.common ui.tools.debugger ui.tools.error-list ui.tools.listener.completion ui.tools.listener.history ui.tools.listener.popups vocabs vocabs.loader vocabs.parser vocabs.refresh words ; @@ -194,7 +195,7 @@ TUPLE: listener-gadget < tool error-summary output scroller input ; listener-gadget default-font-size { 50 58 } n*v set-tool-dim : listener-streams ( listener -- input output ) - [ input>> ] [ output>> ] bi ; + [ input>> ] [ output>> H{ } clone ] bi ; : init-input/output ( listener -- listener ) @@ -406,7 +407,7 @@ interactor "completion" f { ] with-default-style nl nl ; : listener-thread ( listener -- ) - dup listener-streams [ + dup input>> dup output>> [ [ com-browse ] help-hook set '[ [ _ input>> ] 2dip debugger-popup ] error-hook set error-summary? off @@ -507,3 +508,28 @@ PRIVATE> size >>size ] change-font f >>line-height drop ostream output-stream set ; + +> :> interactor + interactor output>> :> output + interactor + [ clone [ delta + ] change-size ] change-font + f >>line-height + font>> size>> font-size output style>> set-at ; + +PRIVATE> + +: com-font-size-plus ( listener -- ) + 2 adjust-listener-font-size ; + +: com-font-size-minus ( listener -- ) + -2 adjust-listener-font-size ; + +listener-gadget "fonts" f { + { T{ key-down f { A+ } "+" } com-font-size-plus } + { T{ key-down f { A+ } "=" } com-font-size-plus } + { T{ key-down f { A+ } "_" } com-font-size-minus } + { T{ key-down f { A+ } "-" } com-font-size-minus } +} define-command-map