5 Commits

Author	SHA1	Message	Date
Andreas Huber	424f4bb11d	fix vertical scroll ... used the wrong font height	2021-10-25 10:00:26 +02:00
Andreas Huber	905fe355e5	scroll with scrollbars	2021-10-25 09:32:18 +02:00
Andreas Huber	6e831c66be	add regex highlight	2021-10-24 19:47:30 +02:00
Andreas Huber	80741a7249	fix computation of text width	2021-10-24 16:35:27 +02:00
Andreas Huber	58e3983e49	initial commit	2021-10-24 12:47:46 +02:00