Diff options
-rw-r--r--source/html.c9
-rw-r--r--source/html.h1
-rw-r--r--source/ui-shared.c11
3 files changed, 8 insertions, 13 deletions