From 8a09779e3e9288441c529c869f32726d6550c996 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 11 May 2016 18:06:47 -0700 Subject: [PATCH] ui.theme.switching: adding some docs. --- basis/ui/theme/switching/switching-docs.factor | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 basis/ui/theme/switching/switching-docs.factor diff --git a/basis/ui/theme/switching/switching-docs.factor b/basis/ui/theme/switching/switching-docs.factor new file mode 100644 index 0000000000..1fe8d6c344 --- /dev/null +++ b/basis/ui/theme/switching/switching-docs.factor @@ -0,0 +1,12 @@ +USING: help.markup help.syntax ui.theme ; +IN: ui.theme.switching + +HELP: switch-theme +{ $values { "theme" "theme" } } +{ $description "Switch to a new theme." } +{ $examples + "To switch to a " { $link light-theme } ":" + { $code "USING: ui.theme ui.theme.switching ;" "light-theme switch-theme" } + "To switch to a " { $link dark-theme } ":" + { $code "USING: ui.theme ui.theme.switching ;" "dark-theme switch-theme" } +} ;