peterbessman 9fb5ca86ff Enable tab hiding ... Modify behavior at a couple of places to not draw tabs if config.show_tabs != true.		2021-02-02 23:56:21 -05:00
..
core	Enable tab hiding	2021-02-02 23:56:21 -05:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Added support for `.pyw` files in language_python plugin	2020-12-19 10:19:37 +00:00
user	Changed summer color theme's caret color	2020-05-29 17:19:27 +01:00