Editor has been updated allowing to update the window border options. With this update, a new macOS-like border is now available for everyone.
You'll be able to update the border type through the new border
option.
Thanks to @alexandercerutti, the editor will now let you decide the starting line number of your code.