[Gretl-devel] Menus not responding after script error

Hi, 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. A gretl restart is necessary. (Well, the script editor window and so on remain usable I think.) I tried to do "sudo ldconfig" before a gretl restart but that didn't help. (A wild guess anyway.) Haven't tried with the latest snapshot on Windows yet. thanks, sven