core
|
Compute animation rate only if needed
|
2021-03-18 16:20:21 +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 |