On Tue, Aug 12, 2014 at 08:45:20PM +0100, Dominik Vogt wrote: > I have a better test that proves that there is a bad bug in > Eclipse: ...
A bug report has been created in the Eclipse bugtracher: https://bugs.eclipse.org/bugs/show_bug.cgi?id=442210 For me, this issue is closed, as it's an Eclipse bug, not an fvwm bug. Ciao Dominik ^_^ ^_^ -- Dominik Vogt
