TIP: "Tips of the day implement the " { $link "definition-protocol" } " and new tips of the day can be defined using the " { $link POSTPONE:TIP: } " parsing word.";
HELP:TIP:
{ $syntax "TIP: content ;" }
{ $values { "content""a markup element" } }
{ $description "Defines a new tip of the day." } ;
ARTICLE: "all-tips-of-the-day""All tips of the day"
{ $tips-of-the-day } ;
ARTICLE: "tips-of-the-day""Tips of the day"
"The " { $vocab-link "help.tips" } " vocabulary provides a facility for displaying tips of the day in the " { $link "ui-listener" } ". Tips are defined with a parsing word:"