Diff options
-rw-r--r--source/html.c27
-rw-r--r--source/html.h5
-rw-r--r--source/ui-diff.c206
3 files changed, 222 insertions, 16 deletions