4 Commits (1002b656c12cb1f8a78b8e98af70f41d1df0c158)

Author	SHA1	Message	Date
yflory	f6015e419e	Implement degraded mode when too many editors are in a pad	2021-03-04 18:24:31 +01:00
yflory	081fc01694	Add a settings category about the cursor	2018-12-06 13:48:14 +01:00
yflory	c81b4d77e8	lint compliance	2018-12-06 11:55:40 +01:00
yflory	f157f852b1	Fix and improve cursor	2018-12-06 11:54:34 +01:00