You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would it be possible to use the colors from the terminal palette instead of hardcoded colors?
This would make this REPL usable for a larger group of people.
So instead of e.g. using a fixed color for a red border, use color number 2 from the ansi colors, so it will match the red that is defined in the terminal color palette.
The text was updated successfully, but these errors were encountered:
Would it be possible to use the colors from the terminal palette instead of hardcoded colors?
This would make this REPL usable for a larger group of people.
So instead of e.g. using a fixed color for a red border, use color number 2 from the ansi colors, so it will match the red that is defined in the terminal color palette.
The text was updated successfully, but these errors were encountered: