[Gretl-devel] sluggish menu response when console window is open

Hi, we have vaguely mentioned some slowness of (GUI) gretl, but we (or I) haven't been able to pin things down. Maybe I now have something reproducible (on Windows 7 here, latest snapshot): 1) start gretl 2) open a dataset (don't know whether that's necessary) 3) open the console window (via toolbar button) 4) click on a menu -> It takes a noticeable time for the menu to open/unfold, and also when changing to a different menu. Can't say whether that was "always" there, as I don't use the console that often. Others seeing this? cheers, sven