Adjust margins (padding) between Editor windows
There's not a way to do this without diving pretty deeply into the source :-/ It'd certainly be nice to make the borders wider, but we don't have that kind of access to the UI with Python.