Bartosz Taudul 9672dba765 Replace source file viewer with one that actually works. ...

This is much simpler, custom implementation of a text file viewer. It is
able to perform these two tasks as intended:
- center source view on the selected line,
- highlight that line.

2020-03-22 20:53:59 +01:00

..

icons

Add mouse button icons.

2018-08-23 15:48:01 +02:00

images

Add missing images.

2020-03-14 21:13:08 +01:00

techdoc.tex

Drop support for CPU id queries.

2019-08-12 23:05:34 +02:00

tracy.tex

Replace source file viewer with one that actually works.

2020-03-22 20:53:59 +01:00