Better colorization of doc comments #1347

Closed

Assignees

Milestone

[2023] September

opened

We just color them as regular comments now. We don't, for example, change the color of doc tags.

Metadata

Assignees

timotheeguerin

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

[2023] September

Relationships

None yet

Development

No branches or pull requests