[Dino]

Thanks, this works. A bit slow, however. I personally think this “show spaces” should be triggered by the Marks button. All these “marks” are also customized in one place, why aren’t they shown in one place? In many editors showing line breaks and spaces is done by the same button.