Loading of user themes / syntaxes #32

Open

Labels

opened

on Oct 26, 2022

This is split out of #23

The ideal would be to just use bat's logic, see sharkdp/bat#919 (comment)

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests