Add customizable Themes and Highlighters for rich colors in print_msg#5169
Add customizable Themes and Highlighters for rich colors in print_msg#5169Crivella wants to merge 1 commit intoeasybuilders:developfrom
print_msg#5169Conversation
|
@boegel @smoors Let me know design-wise what you think about this, if it is worth investing more time in trying to expand this more (eg also make the highlighter pluginable). In general going to need feedback on colors and patterns, my UI design skills are not the best so i am afraid of going full rainbow with the colors |
|
looks good to me design-wise! it would be nice if you can also add support for customizing the things that are colored automatically, like paths, numbers, ... (i'm not a fan of the default colors) i can come up with a default color scheme, but i don't want to get into a bike-shedding match :) |
|
It is already possible by overriding the defaults styles the same way you would by setting You can see all the defaults with |
cool, thx! |
This is a followup on
print_msg#5125With this PR, Easybuild ships its own highlighter and theme that can be replaced using entrypoints (for now only the theme) using the following groups
TODO:
Example of themes via entrypoints: