description: |
When a user selects the category, the address is evaluated. The category the
address points to is loaded and displayed in the browser. The selection, a
relative address, is remembered by the browser. Now when the user at some
point enters a '@'-flagged category - which means that this category is
susceptible to selection
(see section 2.3.2)
the browser looks if it can follow the relative address, starting from this
category. If it can, the resulting category is displayed to the user, and
the selection is forgotten. If it cannot, the '@'-flagged category is not
entered and the user is informed of the fact that there is no subcategory
of this category that the relative address points to.
|
format: |
<category name> "->" <address> ":" <selection>
|
remark: |
The user always enters a '@'-flagged category, because categories that have no
subcategories in the same file with a '@' or '$' flag are not shown to the
user (see section 2.3).
|
remark: |
When the user has entered the subcategory, a 'generalization'
(see section 2.2.2.5)
is added to the browser window pointing to the '@'-flagged category,
for quick navigation.
|
remark: |
Nested selections are handled correctly by a browser.
|
example: |
music/from game -> /games : music
games
/fighting
/@street fighter/music -> sfmusic.dii
/@tekken
/shooting
/@terra cresta
|