(In reply to Arno Frausenbruck from comment #3) > I'm now on Tumbleweed 20180626. The bug is still there. Sorry, 20180627 of course. :)