From 74ccbef038e5a6cc2624f2e6e28e977d465824f5 Mon Sep 17 00:00:00 2001 From: Nick Treleaven Date: Wed, 30 Mar 2022 19:00:46 +0100 Subject: [PATCH] vdoc: show `//` comment prefix and hide any \x01 character --- cmd/tools/vdoc/html.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cmd/tools/vdoc/html.v b/cmd/tools/vdoc/html.v index 574e13b52a..15e9bd14d0 100644 --- a/cmd/tools/vdoc/html.v +++ b/cmd/tools/vdoc/html.v @@ -298,6 +298,8 @@ fn html_highlight(code string, tb &ast.Table) string { "'$tok.lit'" } else if typ == .char { '`$tok.lit`' + } else if typ == .comment { + if tok.lit[0] == 1 { '//${tok.lit[1..]}' } else { '//$tok.lit' } } else { tok.lit }