It would be nice to have a separate color for predicate/function/assertion
identifiers and "members" of a signature.
I guess it means for the class responsible for the syntax coloring to be
aware of the IALSFile in order to get that information.
I am unsure of the difficulty of that task. It would be nice to get it for M4.
Original issue reported on code.google.com by daniel.l...@gmail.com on 19 Apr 2008 at 10:14
Original issue reported on code.google.com by
daniel.l...@gmail.com
on 19 Apr 2008 at 10:14