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 7 commits into
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! |
|
@Crivella i played a bit with the default theme, and settled on this PR: see light and dark screenshots below for the result.
|
update default theme
|
I''ve overhauled a bit the way the Entrypoints are defined to homogenize the way they are exposed with the already existing ones. This allows to also easily show them as available EPs when running I've' also added the option to customize the highlighters, just unsure if the |
|
Another idea which might be overkill is to allow a |


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: