Frank LENORMAND 0c4c744362 rc: Highlight embedded documentation ... This commit adds a `documentation` face to the builtin themes, used to highlight common documentation syntaxes: /** * JavaDoc */ /*! * QtDoc */ /// Inline documentation ## Inline documentation The face is only an alias to the `comment` one for now. Closes #1944		2020-01-29 20:03:21 +01:00
..
detection	rc: Use the standard fail command to report errors	2019-11-14 08:32:55 +01:00
filetype	rc: Highlight embedded documentation	2020-01-29 20:03:21 +01:00
tools	Slight code cleanup in grep.kak	2019-12-31 12:50:19 +11:00
windowing	x11-terminal: Leverage the shell quoting of lists for perfect forwarding	2020-01-13 05:26:08 +01:00