enhance: undo redo use patches instead of full text

This commit is contained in:
Tienson Qin
2021-01-07 10:31:14 +08:00
parent 14e4af2957
commit 249bf680c1
10 changed files with 168 additions and 122 deletions

View File

@@ -50,3 +50,4 @@ dummy.values = function() {};
// Do we really need those?
dummy.filter = function() {};
dummy.concat = function() {};
dummy.diff_main = function() {};