* Intern a character string via the screen's shared CharPool. * Supports grapheme clusters like family emoji.
(screen: Screen, char: string)
| 843 | * Supports grapheme clusters like family emoji. |
| 844 | */ |
| 845 | function internCharString(screen: Screen, char: string): number { |
| 846 | return screen.charPool.intern(char) |
| 847 | } |
| 848 | |
| 849 | /** |
| 850 | * Bulk-copy a rectangular region from src to dst using TypedArray.set(). |