editor spacing (fixes #240)