Options - Processes
Extras menu / Options / Processes
Enable expert options
If this setting is active, the "Details" dialog will be available
that provides information about the title, type,
GUID, and name of an element.
Check process for missing titles
Has the effect
that the process will be searched for missing entries for titles in
other portal languages when it is opened.
Show grid
This setting will show a grid on the workspace.
Grid size
The grid size (the distance between grid points on the workspace) can
be defined here. The default value of 10 corresponds
to a distance of 10 pixels between individual grid points.
Align to grid
This setting will orient the
graphical elements in the diagram view along the bars.
Show ruler
Shows or hides the ruler on the workspace.
Use assistant when creating a new process
Opens a
wizard which will guide you through the first steps when you create a
new process.
Limit file size for log file analysis
Allows
you to limit the size of the logfile, which you can view via the menu
item
Process / Analyze logfile.
Last processes list max. length
Here, you can specify how many of the most recently
edited processes should be displayed in the Process Manager
when "Recently edited" is clicked.
Default sizes for new elements
In this area, the height and width of the element types event sources,
event handlers, conditions and actions can be set in pixels.
This size is applied to newly created elements.
Reset to default values
Resets all changed values for height and width to the defaults.