
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:
- Maximum number of bars. The maximum number of bars that the graph may show at any one time. Note that if this number is smaller than the number of functions profiled in your evaluation, the graph will favour the most significant functions first, leaving out those that produce the smallest potential bars at the current Time / Space slider setting. The default maximum is 20 bars.
- Bar width. The default maximum is 20 units.
- Maximum tick spacing. Frequency with which the vertical axis is marked to represent ticks. The default maximum is 100.
- Ideal label spacing, in pixels. The default is 100.
MLWorks User Guide (UNIX version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker