ui.theme.switching: reset ui.gadgets.panes fonts.

diff --git a/basis/ui/theme/switching/switching.factor b/basis/ui/theme/switching/switching.factor
index 46b90b6253f4a4a5c09826f9e416665257527ebd..858d404bbbe1f906d29012db07de089dfb2415ed 100644 (file)
--- a/basis/ui/theme/switching/switching.factor
+++ b/basis/ui/theme/switching/switching.factor
@@ -1,8 +1,9 @@
 ! Copyright (C) 2016 Nicolas Pénet.
 ! See http://factorcode.org/license.txt for BSD license.
 USING: assocs fonts hashtables help.stylesheet help.tips
-io.styles kernel listener namespaces prettyprint.stylesheet
-sequences ui.theme ui.tools.listener vocabs.prettyprint words ;
+io.styles kernel listener memoize namespaces
+prettyprint.stylesheet sequences ui.gadgets.panes.private
+ui.theme ui.tools.listener vocabs.prettyprint words ;
 IN: ui.theme.switching
 
 <PRIVATE
@@ -15,6 +16,9 @@ IN: ui.theme.switching
     text-color default-font-foreground-color set-global
     content-background default-font-background-color set-global
 
+    ! ui.gadgets.panes
+    \ specified-font reset-memoized
+
     ! help.stylesheet
     default-style text-color foreground update-style
     link-style link-color foreground update-style