Guldoman 921dba3243 Fix deleting indentation with multiple cursors (#1670)		2023-11-28 20:54:11 +01:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Fix deleting indentation with multiple cursors (#1670)	2023-11-28 20:54:11 +01:00
fonts	draw lite-xl icon in TitleView (#1143)	2022-10-10 11:05:30 -04:00
plugins	Avoid considering single spaces in `detectindent` (#1595)	2023-11-28 20:54:00 +01:00