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

colorize output in web ui #74

Open

mark-pictor-csec opened this issue Apr 3, 2024 · 0 comments

mark-pictor-csec commented Apr 3, 2024

Related to #3 . It'd be nice for the diff output in the ui to be colorized.

I can think of a couple ways of doing this:

one would be to have the wasm version of the tool produce html output
another would be to postprocess the output with javascript, turning it into html

Either way, css would be needed for coloring, as well as a radio button to turn on/off.

While you're fiddling with radio buttons and css, it'd also be nice to have a dark theme 😉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment