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

Make undo/redo mark all affected tabs as modified #4479

Merged
merged 2 commits into from May 16, 2016

Conversation

Projects
None yet
2 participants
@JakubValtar
Contributor

JakubValtar commented May 16, 2016

Otherwise Save won't save the changes, because it saves only modified tabs.

Also runs compound edit timer task on EDT.

JakubValtar added some commits May 16, 2016

Make undo/redo mark all affected tabs as modified
Otherwise Save won't save the changes, because it saves only modifies
tabs.

@benfry benfry merged commit 23ea50e into processing:master May 16, 2016

@JakubValtar JakubValtar deleted the JakubValtar:undo-save-hotfix branch May 17, 2016

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