rxi 7fbefe40d5 Made system.set_window_title only be called on title change

2020-05-30 08:53:48 +01:00

..

core

Made system.set_window_title only be called on title change

2020-05-30 08:53:48 +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