diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-04 17:27:52 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 2627f1684434526d47c4223478434e2ce59388be (patch) | |
| tree | a6c9394be441f8069eec353d9b96e9a8096f0c7b | |
| parent | 67685752a1b3f9c29556b5c033c29e9736378f0b (diff) | |
| download | rde-2627f1684434526d47c4223478434e2ce59388be.tar.gz rde-2627f1684434526d47c4223478434e2ce59388be.tar.bz2 rde-2627f1684434526d47c4223478434e2ce59388be.zip | |
change markstate to be persistent
| -rw-r--r-- | src/Internal/Marking.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Internal/Marking.hs b/src/Internal/Marking.hs index 89d4a0b..9bf58cd 100644 --- a/src/Internal/Marking.hs +++ b/src/Internal/Marking.hs @@ -76,6 +76,7 @@ data MarkState = instance ExtensionClass MarkState where initialValue = MarkState Map.empty def + extensionType = PersistentExtension changeHistory :: (History Window -> History Window) -> (MarkState -> MarkState) changeHistory fn ms = ms { windowHistory = fn (windowHistory ms)} |