(screen: Screen, hyperlink: Hyperlink)
| 443 | } |
| 444 | // Intern a hyperlink string and return its ID (0 = no hyperlink) |
| 445 | function internHyperlink(screen: Screen, hyperlink: Hyperlink): number { |
| 446 | return screen.hyperlinkPool.intern(hyperlink) |
| 447 | } |
| 448 | |
| 449 | // --- |
| 450 |