ui.tools.debugger: set theme fonts on table...
Probably this should be in the table gadget itself and not scattered everywhere.locals-and-roots
parent
fb9a71627f
commit
6149bf5afc
|
@ -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 ;
|
||||
|
||||
|
|
Loading…
Reference in New Issue