8000 Added rich text formatting by Waidhoferj · Pull Request #21 · y-crdt/ypy · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Apr 22, 2025. It is now read-only.

Added rich text formatting #21

Merged
merged 4 commits into from
May 6, 2022
Merged

Added rich text formatting #21

merged 4 commits into from
May 6, 2022

Conversation

Waidhoferj
Copy link
Collaborator

Fixes #7

  • Added rich text insertion functions
  • Added associated tests
  • Updated documentation and type hints

@Waidhoferj Waidhoferj added the enhancement New feature or request label Apr 3, 2022
@Waidhoferj Waidhoferj requested a review from a team April 3, 2022 17:49
@Waidhoferj Waidhoferj self-assigned this Apr 3, 2022
Waidhoferj
Waidhoferj commented Apr 3, 2022
View reviewed changes
@Waidhoferj Waidhoferj requested a review from Horusiath April 28, 2022 01:59
@Waidhoferj Waidhoferj marked this pull request as ready for review April 28, 2022 01:59
@Waidhoferj Waidhoferj requested a review from dmonad April 28, 2022 01:59
@Waidhoferj Waidhoferj mentioned this pull request Apr 28, 2022
Merged
4 tasks
@Waidhoferj Waidhoferj merged commit 524217d into main May 6, 2022
@Waidhoferj Waidhoferj deleted the rich-text branch May 6, 2022 04:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@dmonad dmonad dmonad approved these changes

@Horusiath Horusiath Awaiting requested review from Horusiath

Assignees

@Waidhoferj Waidhoferj

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add Rich Text Formatting
3 participants
@Waidhoferj @Horusiath @dmonad
0