From 45316318e877710af60933c923eaa2ce78215126 Mon Sep 17 00:00:00 2001 From: nicolas-p Date: Fri, 6 May 2016 07:49:21 +0200 Subject: [PATCH] Added "require" for theme.light and theme.dark --- basis/ui/gadgets/theme/theme.factor | 3 +++ 1 file changed, 3 insertions(+) diff --git a/basis/ui/gadgets/theme/theme.factor b/basis/ui/gadgets/theme/theme.factor index 2aec179052..742800c37a 100644 --- a/basis/ui/gadgets/theme/theme.factor +++ b/basis/ui/gadgets/theme/theme.factor @@ -94,3 +94,6 @@ HOOK: panel-background-color theme ( -- color ) HOOK: focus-border-color theme ( -- color ) HOOK: labeled-border-color theme ( -- color ) + +<< "ui.gadgets.theme.light" require >> +<< "ui.gadgets.theme.dark" require >>