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

Pull undo redo to editor #129

Merged
merged 2 commits into from
Aug 12, 2021
Merged

Conversation

nixypanda
Copy link
Contributor

@nixypanda nixypanda commented Jul 28, 2021

I wanted to create this on the branch that I have requested to merge but looks like I can't really do that as that branch does not exist in this repo. (Sigh: github should really allow for creating PRs over other PRs :P)

Anyway, this is a simplification of pulling out the undo and redo functionality into the editor struct whilst also simplifying it a bit.

NOTE TO Reviewers: #128 does most of the work on which this build on. Only take a look at the last commit in this PR

src/core_editor/editor.rs Outdated Show resolved Hide resolved
@nixypanda nixypanda mentioned this pull request Jul 28, 2021
src/core_editor/editor.rs Show resolved Hide resolved
src/core_editor/editor.rs Outdated Show resolved Hide resolved
@nixypanda nixypanda mentioned this pull request Jul 29, 2021
@nixypanda nixypanda force-pushed the pull-undo-redo-to-editor branch 4 times, most recently from 23e200c to c9a0a38 Compare August 12, 2021 17:57
@nixypanda nixypanda marked this pull request as ready for review August 12, 2021 18:04
@sophiajt
Copy link
Contributor

Looks good!

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

Successfully merging this pull request may close these issues.

None yet

4 participants