Am 11.06.2018 um 09:39 schrieb Sven Schreiber:
on Ubuntu with yesterday's git version I'm noticing that "quite often"
the menus are not responding anymore (not clickable). It seems to
happen when a script terminates with an error, but not 100% sure about
that.
I take that back, it also happens without a script error. (maybe running
a script per se)
thanks,
sven