($color: string)
| 431 | } |
| 432 | |
| 433 | function getColorByName($color: string): RGBA { |
| 434 | const n = knownColors.get($color)!; |
| 435 | return { |
| 436 | r: (n >> 16) & 255, |
| 437 | g: (n >> 8) & 255, |
| 438 | b: (n >> 0) & 255, |
| 439 | a: 1, |
| 440 | }; |
| 441 | } |
| 442 | |
| 443 | function getSystemColor($color: string): RGBA { |
| 444 | const n = systemColors.get($color)!; |