diff --git a/otherlibs/labltk/browser/lexical.ml b/otherlibs/labltk/browser/lexical.ml index 006291c26..ecdebcb3c 100644 --- a/otherlibs/labltk/browser/lexical.ml +++ b/otherlibs/labltk/browser/lexical.ml @@ -22,7 +22,7 @@ let tags = "infix"; "label"; "uident"] and colors = ["blue"; "forestgreen"; "purple"; "gray40"; - "indianred4"; "brown"; "midnightblue"] + "indianred4"; "saddlebrown"; "midnightblue"] let init_tags tw = List.iter2 tags colors fun: @@ -83,7 +83,6 @@ let tag ?(:start=tstart) ?(:end=tend) tw = | PARSER | PRIVATE | REC - | SHARP | TYPE | VAL | VIRTUAL @@ -106,6 +105,7 @@ let tag ?(:start=tstart) ?(:end=tend) tw = | INFIXOP4 _ | PREFIXOP _ | QUESTION2 + | SHARP -> "infix" | LABEL _ | LABELID _