We looked further into this, and it looks like it's related to this issue: https://youtrack.jetbrains.com/issue/IDEA-201379 … - which we plan to fix in v2020.1. Please follow it for updates.
Unfortunately, we were unable to replicate the problem - see the attached screenshot, with the line spacing set to 0.8. Do you mean WebStorm won't save this custom configuration even after clicking "Apply" or is it something else?pic.twitter.com/NVwW2EMFZ3
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.