Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add lines into texteditor #2486

Merged
merged 1 commit into from
Jan 16, 2020
Merged

Add lines into texteditor #2486

merged 1 commit into from
Jan 16, 2020

Conversation

GretaD
Copy link
Contributor

@GretaD GretaD commented Jan 16, 2020

fixes #2373

@GretaD GretaD requested a review from ChristophWurst January 16, 2020 18:07
@GretaD GretaD self-assigned this Jan 16, 2020
@GretaD GretaD added this to the next milestone Jan 16, 2020
@GretaD GretaD force-pushed the greta_the_magician branch from 0867bfc to b43d599 Compare January 16, 2020 18:57
@georgehrke georgehrke merged commit a05255a into master Jan 16, 2020
@georgehrke georgehrke deleted the greta_the_magician branch January 16, 2020 19:13
Copy link
Member

@georgehrke georgehrke left a comment

Choose a reason for hiding this comment

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

🐘

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Reply issues
3 participants