rxi 4b167e86c6 Fixed bug in Highlighter.invalidate() when setting first_invalid_line ... The value should not be updated if the current first_invalid_line is less than the new invalid line index		2020-06-02 22:50:03 +01:00
..
core	Fixed bug in Highlighter.invalidate() when setting first_invalid_line	2020-06-02 22:50:03 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Made RootView:open_doc() try to use previous node if current node is locked	2020-05-22 15:50:27 +01:00
user	Changed summer color theme's caret color	2020-05-29 17:19:27 +01:00