Maybe not, as in past we don¹t have. But is better have one partial solution. So thanks to Karl to made it .
Edgar @morplenauta
On 31/05/2018, 06:06, "Marcel Taeumel" marcel.taeumel@hpi.de wrote:
I just added those to Trunk. Maybe we need dim/undim for buttons in general? Not sure...
Best, Marcel