Your comments

The way to highlight using agda executable is to invoke

agda --html some.agda -css=coloring.css -i include_dir_1 -i include_dir_2

It will produce all dependent modules in html with navigation.

This HTML possibly can be used to highlight active file in Sublime and to navigate on references.