[[!template id=plugin name=editdiff author="[[JeremieKoenig]]"]] [[!tag type/useful]] This plugin adds a "Diff" button when a page is being edited. When clicked, a diff between the stored page and provided content is shown in the "Page Preview" area. ## Problems No special handling is done of concurrent edits: changes introduced independently will show up in the requested diff, although they will be merged when the page is saved. I suspect even detecting this case would require changes in the RCS backends. ones.dk/notmuch' title='notmuch Git repository'/>
summaryrefslogtreecommitdiff
path: root/tags/96/92/153999832606.1793.5322717892966155223@auryn.jones.dk/signed
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2023-06-27 09:35:08 +0200
committerJonas Smedegaard <dr@jones.dk>2023-06-27 09:35:08 +0200
commitfd54908da2b05c526dd3bee9b6dcd093214a220d (patch)
treec69c845069c99d1d01044f6fafda7c08433329c6 /tags/96/92/153999832606.1793.5322717892966155223@auryn.jones.dk/signed
parentba46132213560cf3335d53560d519c0ec0190da2 (diff)
master
Diffstat (limited to 'tags/96/92/153999832606.1793.5322717892966155223@auryn.jones.dk/signed')
-rw-r--r--tags/96/92/153999832606.1793.5322717892966155223@auryn.jones.dk/signed0
1 files changed, 0 insertions, 0 deletions