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.

Sign up for GitHub

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

Maybe update block selection on UNDO/REDO actions #12188

Closed
wants to merge 1 commit into from
Closed

Maybe update block selection on UNDO/REDO actions #12188

wants to merge 1 commit into from

Conversation

oandregal
Copy link
Member

Addresses #12002

On UNDO/REDO actions, check whether the block still exists. If it doesn't, clear selection.

@oandregal
Maybe update selection on UNDO/REDO actions
1470ef9 
On UNDO/REDO actions, check whether the block still exists.
If it doesn't, clear selection.
@oandregal oandregal self-assigned this Nov 21, 2018
@oandregal oandregal added [Status] In Progress Tracking issues with work in progress Needs Technical Feedback Needs testing from a developer perspective. labels Nov 21, 2018
@oandregal oandregal closed this Nov 21, 2018
@oandregal oandregal deleted the fix/undo-updates-selection branch November 21, 2018 17:23
@oandregal oandregal mentioned this pull request Nov 21, 2018
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@oandregal oandregal

Labels
Needs Technical Feedback Needs testing from a developer perspective. [Status] In Progress Tracking issues with work in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@oandregal