From 021e595c589f45e8444e2d049d1300ce7811baa2 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Mon, 16 Oct 2017 11:24:40 -0700 Subject: [PATCH] ui.tools.listener: change to just reset line-height so it can be recomputed lazily when needed. --- basis/ui/tools/listener/listener.factor | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index 1e243d93a6..361e889cec 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -11,7 +11,7 @@ threads tools.errors.model 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.text ui.theme ui.tools.browser ui.tools.common +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 @@ -480,9 +480,6 @@ M: listener-gadget ungraft* family font-name pick set-at size font-size pick set-at ; -: font-height ( font -- height ) - font-metrics compute-height height>> ; - PRIVATE> :: set-listener-font ( family size -- ) @@ -494,6 +491,5 @@ PRIVATE> clone family >>name size >>size - ] change-font - font>> font-height inter line-height<< + ] change-font f >>line-height drop ostream output-stream set ;