]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.listener: change to just reset line-height so it can be recomputed lazily...
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Oct 2017 18:24:40 +0000 (11:24 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Oct 2017 18:24:40 +0000 (11:24 -0700)
basis/ui/tools/listener/listener.factor

index 1e243d93a678df14598f989693b5576c7a39f6cb..361e889ceceb4b274e15c4797cccda416d95cfad 100644 (file)
@@ -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 ;