Skip to content

Comments

Remove old design documents, update screenshots#130

Merged
dhardy merged 2 commits intomasterfrom
push-rlotyumnnpvk
Feb 16, 2026
Merged

Remove old design documents, update screenshots#130
dhardy merged 2 commits intomasterfrom
push-rlotyumnnpvk

Conversation

@dhardy
Copy link
Contributor

@dhardy dhardy commented Feb 16, 2026

These design documents are largely obsolete. Embedded elements is not done, but mentioned in #35. Highlighting support is something I want to support soon (but already at least partly possible through an external library using FormattableText).

@dhardy dhardy merged commit 0242ef0 into master Feb 16, 2026
5 checks passed
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.

1 participant