Feature Request: Colour/Bold known Symbols whilst Typing #14

Open

Labels

opened

on Jan 20, 2023

See I3oris/reply#4.
To work on it when REPLy will allow such highlight.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests