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