"enter" command can be enhanced to jump from anywhere to anywhere just using "section name" #94
Description
map
Map of Lexicon Tower
──────────────────────────────────────────────────
A tall library of lexical knowledge and tokens
[✓] Lexical conventions
→[✓] Separate translation
[ ] Phases of translation
[ ] Character sets
[ ] Preprocessing tokens
[ ] Alternative tokens
[ ] Tokens
[ ] Comments
[ ] Header names
[ ] Preprocessing numbers
[ ] Identifiers
[ ] Keywords
[ ] Operator Arena
[ ] Literals
[ ] Kinds of literals
[ ] Integer literals
[ ] Character literals
[ ] Floating-point literals
[ ] String literals
[ ] Boolean literals
[ ] Pointer literals
[ ] User-defined literals
enter Separate translation
There is nothing to enter here.
map
Map of Lexicon Tower
──────────────────────────────────────────────────
A tall library of lexical knowledge and tokens
[✓] Lexical conventions
→[✓] Separate translation
[ ] Phases of translation
[ ] Character sets
[ ] Preprocessing tokens
[ ] Alternative tokens
[ ] Tokens
[ ] Comments
[ ] Header names
[ ] Preprocessing numbers
[ ] Identifiers
[ ] Keywords
[ ] Operator Arena
[ ] Literals
[ ] Kinds of literals
[ ] Integer literals
[ ] Character literals
[ ] Floating-point literals
[ ] String literals
[ ] Boolean literals
[ ] Pointer literals
[ ] User-defined literals
enter Phases of translation
There is nothing to enter here.