Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add --theme option #89

Closed
sharkdp opened this issue May 10, 2018 · 0 comments
Closed

Add --theme option #89

sharkdp opened this issue May 10, 2018 · 0 comments
Labels
feature-request New feature or request good first issue Good for newcomers

Comments

@sharkdp
Copy link
Owner

sharkdp commented May 10, 2018

Add a --theme <name> command line option to use a different syntax highlighting theme. This should be pretty straightforward as we do already load the whole ThemeSet (and only use the one called "Default").

It would also be useful to add a --list-themes option in analogy to --list-languages.

This can then be used as a basis to provide a few more highlighting themes, see #34.
@sharkdp sharkdp added feature-request New feature or request good first issue Good for newcomers labels May 10, 2018
@rleungx rleungx mentioned this issue May 11, 2018
Merged
sharkdp pushed a commit that referenced this issue May 11, 2018
@rleungx @sharkdp
add theme option (#95)
22c8978 
closes #89
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature-request New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sharkdp