steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix ui.tools.profiler help lint

db4
Slava Pestov 2009-03-24 08:56:59 -05:00
parent 6c5e10e5fd
commit 577522fe0f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/tools/profiler/profiler-docs.factor
View File

@ -2,7 +2,7 @@ IN: ui.tools.profiler
USING: help.markup help.syntax ui.operations help.tips ;
ARTICLE: "ui.tools.profiler" "UI profiler tool"
"The " { $vocab-link "ui.tools.profiler" } " vocabulary implements a graphical tool for viewing profiling results (see " { $link "tools.profiler" } ")."
"The " { $vocab-link "ui.tools.profiler" } " vocabulary implements a graphical tool for viewing profiling results (see " { $link "profiling" } ")."
$nl
"To use the profiler, enter a piece of code in the listener's input area and press " { $operation com-profile } "." ;