]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.debugger: set theme fonts on table...
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 12 May 2016 01:37:07 +0000 (18:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 12 May 2016 01:37:07 +0000 (18:37 -0700)
Probably this should be in the table gadget itself and not scattered everywhere.

basis/ui/tools/debugger/debugger.factor

index f1ec3fb2d7ba01c8a504008710ee1e53b29aaa35..0f877dc5b6434a830a0f336241f64b5cd78998e3 100644 (file)
@@ -49,7 +49,7 @@ PRIVATE>
         swap >>restarts
         swap >>continuation
         swap >>error
-        dup <restart-list> >>restart-list
+        dup <restart-list> theme-font-colors >>restart-list
         dup <error-display> margins white-interior f track-add
         add-toolbar ;