2 Commits

Author	SHA1	Message	Date
Bartosz Taudul	a7cedddcef	Use clipper to render source view.	2020-03-24 18:10:56 +01:00
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