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

Jump to bottom

Double pasting with Ctrl+V #886

Closed

gallandarakhneorg opened this issue Nov 9, 2018 · 1 comment

Labels

0 - Backlog bug Eclipse

Milestone

Member

gallandarakhneorg commented Nov 9, 2018 •

edited

When using Ctrl+v, the text is pasted two times.

The text was updated successfully, but these errors were encountered:

gallandarakhneorg added this to the 0.8.6 milestone

gallandarakhneorg added 0 - Backlog bug Eclipse labels

Member Author

gallandarakhneorg commented Nov 9, 2018

A quick fix is:

Menu Windows > Preferences
Section: SARL > Editors
Uncheck Formatting on paste action

gallandarakhneorg closed this as completed in

688b693

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