Much kudos to @danielpunkass who fixed an issue that has been bugging me in Mars Edit for the last 3 years.

To be fair, it took me 3 years to tell him about it!

I finally mentioned it after the last big release - and voila, fixed on the next iteration.