Re: [isabelle] Isabelle2015-RC0 available for testing



On 04/17/2015 01:12 AM, Makarius wrote:
On Mon, 13 Apr 2015, Christian Sternagel wrote:

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.

This sounds like another episode of Linux window manager forks vs.
Java/AWT/Swing/look-and-feel.  What is your local configuration in this
respect?
Same old:

  Fedora 21
  GNOME Version 3.14.2
  3.19.3-200.fc21.x86_64 GNU/Linux

cheers

chris




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