Re: [Gretl-devel] Menus not responding

On Mon, 11 Jun 2018, Sven Schreiber wrote: > 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) A time-consuming script can of course preempt resources and slow down or even disable menu access for a while. I guess that's not what you mean?

Nothing has changed lately in the GUI code, apart from adding syntax highlighting for the console, so I don't know what's going on here.

I do know, however, that Ubuntu does some very idiosyncratic things in relation to the GUI in general and GTK in particular. To avoid severe breakage to gretl under Ubuntu we have a "trick" in place, namely putting UBUNTU_MENUPROXY=0 into the environment at start-up. I guess it's possible that this trick (which dates back a few years) has somehow rotted due to changes in the OS.