Use style-dependent colour to highlight errors#56

Merged

Bzero merged 4 commits intoBzero:masterfrom

tgilgien:error-highlighting

Aug 23, 2025

Commits on Aug 15, 2025

Use style-dependent colour to highlight errors
Theophile Gilgien
committed
use theme's error colour for error underlining
Theophile Gilgien
committed

Commits on Aug 23, 2025

introduce specific error highlighting color
Theophile Gilgien
committed
Update syntax_highlighting.py
Bzero
authored