On Mon, 14 Mar 2016 08:58:36 +0000 Gerd Petermann <GPetermann_muenchen at hotmail.com> wrote: > I hope the programmers of these editors are also working on a fix ? Have you reported this problem (if not reported already) on bug trackers for these editors?