It works if I set
(jml javadoc) in a file-local variable. Enabling JML doc comments interactively (similar SO question) with
(add-to-list 'c-doc-comment-style '(java-mode . jml)) (c-setup-doc-comment-style)
does not work. (The call of
c-setup-doc-comment-style is explicit mention in the documentation.)
Has anyone experience with interactive en- and disabling doc comment highlighting in
cc-mode and can give me a hint on my mistake?
Or should I file a bug report?
Via the great font-lock-studio, I found out that the
are not updated by
In particular the entry:
(lambda (limit) (c-font-lock-doc-comments jml-start-multiline limit jml--font-lock-doc-comments)) (0 nil)
Tested with built-in
GNU Emacs 26.1.50 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.22.30) of 2018-05-29.