TakaseandGitHub 0bb7f21dd7 tooltip enhancements (#114) ...

Add a delay to show the tooltip and other improvements.

2021-03-18 16:18:36 +01:00

..

colors

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

core

Fix error introduced with commit c0ad86d

2021-03-18 15:46:44 +01:00

fonts

Fix missing info icon

2021-02-20 20:15:09 +01:00

plugins

tooltip enhancements (#114)

2021-03-18 16:18:36 +01:00

user

Fix font size in initial user's config

2021-03-01 09:48:12 +01:00