6.4 The profile tool

6.4.1 Controlling the layout of the profiler graph

The layout of the profiler graph can be adjusted with View > Layout. There are four settable parameters:


MLWorks User Guide (UNIX version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker