4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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