This fixed the issue for me. Thanks for the tip!
I added the padding a long time ago because I prefer some space at the top of the editor. Too bad we can’t have both but not a huge deal.
This is not fixed in the latest release
This fixed the issue for me. Thanks for the tip!
I added the padding a long time ago because I prefer some space at the top of the editor. Too bad we can’t have both but not a huge deal.
This is not fixed in the latest release