Skip to content

Several additions both to colors and to commands#8

Merged
stefan-hoeck merged 4 commits into
idris-community:mainfrom
buzden:additions
Sep 2, 2025
Merged

Several additions both to colors and to commands#8
stefan-hoeck merged 4 commits into
idris-community:mainfrom
buzden:additions

Conversation

@buzden

@buzden buzden commented Sep 2, 2025

Copy link
Copy Markdown
Member

I propose several additions, for ease of review I made each change in a separate commit:

  • add commands for saving/restoring cursor position;
  • add commands for turning on/off cursor symbol;
  • add probably forgotten turning off for existing italic mode;
  • add support for 8-bit and 24-bit ANSI colours;
  • add couple of commonly used aliases for styles.

Proposed cursor-related commands are not part of the official standard, but are supported even wider than present in the library features like double underline and rapid blinking. So, I think, it's okay for use in this library.

@stefan-hoeck
stefan-hoeck merged commit 90f80ac into idris-community:main Sep 2, 2025
2 checks passed
@buzden
buzden deleted the additions branch September 2, 2025 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants