(screen: Screen, hyperlink: Hyperlink)
| 479 | } |
| 480 | // Intern a hyperlink string and return its ID (0 = no hyperlink) |
| 481 | function internHyperlink(screen: Screen, hyperlink: Hyperlink): number { |
| 482 | return screen.hyperlinkPool.intern(hyperlink) |
| 483 | } |
| 484 | |
| 485 | // --- |
| 486 |