6 Commits

Author	SHA1	Message	Date
Andreas Huber	b99fb35727	scroll by wheel	2021-10-24 20:02:11 +02:00
Andreas Huber	6e831c66be	add regex highlight	2021-10-24 19:47:30 +02:00
Andreas Huber	eab422a6ce	improve highlighting	2021-10-24 18:49:47 +02:00
Andreas Huber	80741a7249	fix computation of text width	2021-10-24 16:35:27 +02:00
Andreas Huber	3390ccf261	selection by mouse	2021-10-24 15:11:03 +02:00
Andreas Huber	58e3983e49	initial commit	2021-10-24 12:47:46 +02:00