sosy-lab / benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Apache License 2.0
231 stars 199 forks source link

Syntax highlighting of files loaded in overlay panes #514

Open PhilippWendler opened 4 years ago

PhilippWendler commented 4 years ago

In #402, it is suggested to parse the file loaded for link overlays if it is a task-definition file, and provide a richer and interactive view of the file for the user.

We could do something similar for other files as well, for example for C programs we could add syntax highlighting or a list of functions as a table of contents. There exists JavaScript libraries for this so this would not be a huge effort to implement, but we would need to bundle these libraries, so maybe we shouldn't do this if their size is very large.

PhilippWendler commented 4 years ago

Possible libraries:

So highlight.js seems to be the way to go.