Skip to content

Conversation

@violoncelloCH
Copy link
Member

@violoncelloCH violoncelloCH commented Nov 12, 2019

this is a followup PR to #2226
as discussed there I've split this change into a separate PR

@violoncelloCH violoncelloCH force-pushed the feature/noissue/plain-text-vs-rich-text-checkbox branch from ba7e014 to c405791 Compare November 12, 2019 16:19
@violoncelloCH violoncelloCH added 3. to review design enhancement feature:editor All bugs, features and pull requests about the (HTML) editor and removed 2. developing blocked labels Nov 12, 2019
Copy link
Member

@ChristophWurst ChristophWurst left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd also be fine with Enable formatting and Disable formatting. It's clear that this is about text

Signed-off-by: Jonas Sulzer <jonas@violoncello.ch>
@violoncelloCH violoncelloCH force-pushed the feature/noissue/plain-text-vs-rich-text-checkbox branch from c405791 to 07af60c Compare November 12, 2019 20:26
@violoncelloCH
Copy link
Member Author

makes sense! - changed that...

@ChristophWurst ChristophWurst merged commit 805bf3f into master Nov 12, 2019
@ChristophWurst ChristophWurst deleted the feature/noissue/plain-text-vs-rich-text-checkbox branch November 12, 2019 21:39
@ChristophWurst ChristophWurst added this to the 0.19.0 milestone Nov 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

4. to release design enhancement feature:editor All bugs, features and pull requests about the (HTML) editor

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants