diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-04 17:27:52 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-04-04 17:27:52 -0600 |
| commit | 522a993840f5fd8fd414c54a00b871ec2689216f (patch) | |
| tree | 73ca206e890d5045d766912cbee33c2941588cec | |
| parent | 9b5a7b99d33891f0bc664316c643337ac638cbae (diff) | |
| download | rde-522a993840f5fd8fd414c54a00b871ec2689216f.tar.gz rde-522a993840f5fd8fd414c54a00b871ec2689216f.tar.bz2 rde-522a993840f5fd8fd414c54a00b871ec2689216f.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)} |