Alessandro Mauri 241ddd9cea fix deleting indentation when there wasn't any ... before pressing backspace when there were config.indent_size many spaces right before the caret would delete them regardless of config.indent_type being "hard" or not		2021-07-07 13:46:16 +02:00
..
core	fix deleting indentation when there wasn't any	2021-07-07 13:46:16 +02:00
fonts	initial commit	2021-07-04 14:56:05 +02:00
plugins	added console plugin	2021-07-06 14:35:54 +02:00