2009-03-24 05:11:08 -04:00
|
|
|
IN: ui.tools.profiler
|
|
|
|
|
USING: help.markup help.syntax ui.operations help.tips ;
|
|
|
|
|
|
|
|
|
|
ARTICLE: "ui.tools.profiler" "UI profiler tool"
|
2009-03-24 09:56:59 -04:00
|
|
|
"The " { $vocab-link "ui.tools.profiler" } " vocabulary implements a graphical tool for viewing profiling results (see " { $link "profiling" } ")."
|
2009-03-24 05:11:08 -04:00
|
|
|
$nl
|
|
|
|
|
"To use the profiler, enter a piece of code in the listener's input area and press " { $operation com-profile } "." ;
|
|
|
|
|
|
|
|
|
|
TIP: "Press " { $operation com-profile } " to run the code in the input field with profiling enabled (" { $link "ui.tools.profiler" } ")." ;
|
|
|
|
|
|
|
|
|
|
ABOUT: "ui.tools.profiler"
|
