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.
DieGurke f82df2b979
All checks were successful
zdm/undo-redo/pipeline/head This commit looks good
Extracted ChangeManager interface from concrete implementation
2021-12-11 17:30:44 +01:00
2021-12-07 18:05:07 +01:00
2021-12-07 18:05:07 +01:00
2021-12-07 18:05:07 +01:00
2021-12-08 10:42:55 +01:00
2021-12-06 21:52:16 +01:00
2021-12-10 18:39:57 +01:00
2021-12-07 18:05:07 +01:00

Undo-Redo

A Java library for managing changes in an editor history.

Description
A Java library for managing changes in an editor history.
Readme 112 KiB
Languages
Java 100%