Hi,

I noticed that currently (14.2) the highlighting of xquery annotations as introduced with 3.0 doesn't seem to work.

we're using the xquery version "1.0-ml" (MarkLogic's flavour of xquery 1.0, with 3.0 features mixed in).

the annotations look like this (taken from https://github.com/xquery/rxq):


declare 
   %rxq:GET
   %rxq:path('/address/id/(.*)')
   %rxq:produces('text/html')
function addr:get-address($id){ 
   .... 
};

what would need to be done to make annotations display correctly?

cheers,
Jakob.