@jetbrains @WebStormIDE @datagrip
Terrible move to just change everyones default font. Hate the change. Great way to make people hate your new font. At least ask if people want to try it before changing it on them.
-
-
I haven´t tested it but the Editor Font should be set when someone already set it with a different font and imported the settings right?
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.