Re: [isabelle] Isabelle2015-RC0 available for testing



One minor issue (that has been there before; but it seems a good time to change it now) is that sometimes when a pop-up is involved (e.g., saving for the first time, searching, etc.) afterwards the focus is lost (from the current buffer, that is).

It would be more convenient if the focus would return to the "widget" that had it before any pop-up occurred.

cheers

chris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.