rxi 53d555b362 Added support for mouse double/triple click+drag selection ... Resolves #159 Resolves #161		2020-06-25 13:41:46 +01:00
..
core	Added support for mouse double/triple click+drag selection	2020-06-25 13:41:46 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Changed `trimwhitespace` to never cause caret to reposition	2020-06-19 12:09:00 +01:00
user	Changed summer color theme's caret color	2020-05-29 17:19:27 +01:00