description: |
When a user selects the category, the address is evaluated. If the address
points to another category, this category is loaded and displayed in the
browser. If the address is of another type, such as a http address, the
appropriate extension is launched, as configured in the preferences.
|
format: |
<category name> "->" <address>
|
remark: |
It is possible to place attributes in front of reference denotations, as in
this example:
category
p: year = 2000, !green
p: another property
-> address
This is useful, because
'p:' attributes cannot
be set for the main category of a dii file. This restriction exists for
efficiency reasons.
|