Added tooltip for themes

locals-and-roots
nicolas-p 2016-05-05 22:13:50 +02:00 committed by John Benediktsson
parent 85ba970bed
commit f54fa08e05
1 changed files with 2 additions and 0 deletions

View File

@ -27,6 +27,8 @@ TIP: "To save time on reloading big libraries such as the " { $vocab-link "furna
TIP: "Use the " { $link leaks. } " combinator to track down resource leaks." ;
TIP: "Use " { $link light-mode } " and " { $link dark-mode } " for a light or dark user interface." ;
HELP: TIP:
{ $syntax "TIP: content ;" }
{ $values { "content" "a markup element" } }