Skip to content

Block comments only colored if opening comment token followed by non-newline #8

@spiffytech

Description

@spiffytech

After upgrading to db5b534 I see that block comments are now only colored correctly if followed by something other than a newline.

(*
commented code
*)

Is commented incorrectly, but

(* some characters
commented code
*)

is.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions