Hallo Tom,
welche Version von Ken benutzt Du?
Ich nutze den schon seit langem. Und genau das selbe Verhalten hatte ich auch schon öfter erdulden müßen. Es war bei frühen Versionen von KEN-DSL so, dann kam mal eine Version da wars weg, und in einem späteren Update haben sie's wieder reingebastelt, :(
Viele Grüße,
Horst