rxi 877d940c0e language_js improvements		2020-06-05 22:38:06 +01:00
..
core	Added resetting of selection on intermediate find-text failure	2020-06-04 14:04:46 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	language_js improvements	2020-06-05 22:38:06 +01:00
user	Changed summer color theme's caret color	2020-05-29 17:19:27 +01:00