Max Brunsfeld a0da23799d Merge branch 'master' into undo-stack

2021-04-12 10:49:46 -07:00

..

anchor.rs

WIP

2021-03-09 21:00:51 -07:00

mod.rs

Merge branch 'master' into undo-stack

2021-04-12 10:49:46 -07:00

point.rs

WIP

2021-03-09 21:00:51 -07:00

selection.rs

WIP: Start on pushing selection management down into Buffer

2021-04-12 16:01:41 +02:00

text.rs

Merge UndoHistory and History, storing also operations in the latter

2021-04-12 16:01:41 +02:00