Add IntRange type for ColorIndex#4618

Merged

Tyriar merged 4 commits intoxtermjs:masterfrom

Tyriar:4614_color_index

Jul 30, 2023

Commits on Jul 28, 2023

Commits on Jul 29, 2023

Fix compile
Tyriar
committed

Commits on Jul 30, 2023

Simplify condition
Tyriar
committed