Francesco Abbate 90e41daa99 Add tab animation and improve hovering update ... Always update the tab hovering status using the Node:update method. Previous behavior was to update only on mouse moved events.		2021-05-15 16:57:20 +02:00
..
colors	Implement user's config as init file and add directory into package.path	2020-12-02 16:03:31 +01:00
core	Add tab animation and improve hovering update	2021-05-15 16:57:20 +02:00
fonts	Implement maximize/restore controls	2021-04-12 11:54:52 +02:00
plugins	Introduce new plugin versioning tag mod-version	2021-05-05 22:38:29 +02:00
user	Fix font size in initial user's config	2021-03-01 09:48:12 +01:00