zdm
/
undo-redo
Archived
3
Fork 0
Code Issues 2 Pull Requests Releases 1 Activity
A Java library for managing changes in an editor history.
This repository has been archived on 2022-02-11. You can view files and clone it, but cannot push or open issues or pull requests.
32 Commits 2 Branches 1 Tag 1.1 MiB
Java 100%
Go to file
Kai S. K. Engelbart ae2f2e8a84
zdm/undo-redo/pipeline/head This commit looks good Details
Merge pull request 'Fix ChangeManagerWrapper' (#8) from b/javafx-wrapper-properties into develop 
Reviewed-on: https://git.kske.dev/zdm/undo-redo/pulls/8
Reviewed-by: DieGurke <maxi@kske.dev>
Reviewed-by: delvh <leon@kske.dev>
 		2021-12-25 21:14:53 +01:00
core Merge pull request 'Correctly Deal with Identity Changes and Divergent History' (#5) from b/divergent-history into develop 2021-12-24 22:16:45 +01:00
javafx Update properties on wrapper creation, fix NPE 2021-12-25 21:57:25 +02:00
.gitignore Convert to multi-module project 2021-12-11 17:55:49 +01:00
.project Convert to multi-module project 2021-12-11 17:55:49 +01:00
Jenkinsfile Publish coverage report to Jenkins 2021-12-24 15:12:13 +02:00
LICENSE Initial commit 2021-12-06 21:52:16 +01:00
README.md Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00
pom.xml Generate coverage report 2021-12-24 14:15:14 +02:00

README.md

Undo-Redo

A Java library for managing changes in an editor history.