2 Commits

Author	SHA1	Message	Date
Maxime Coste	2d8456db10	Move user mappings to <space> and keep/remove selection to ,	2022-07-05 08:43:40 +10:00
Maxime Coste	13ed87410f	Rework compute_modified_ranges ... Fixes #743	2016-07-26 23:31:23 +01:00