Make animation speed independent of config.fps, add config.animation_rate to fine-tune animation speed (#93)

* animation rate config field * @franko's math magic to make it look more correct
2021-03-10 16:35:37 +01:00
parent 3af6af654b
commit 844ecd1f26
2 changed files with 5 additions and 1 deletions
@@ -19,6 +19,7 @@ config.line_limit = 80
 config.max_symbols = 4000
 config.max_project_files = 2000
 config.transitions = true
+config.animation_rate = 1.0
 config.blink_period = 0.8

 -- Disable plugin loading setting to false the config entry