Re: [isabelle] Isabelle2015-RC0 available for testing
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
I've made some basic tests with some jEdit dialogs on Mac OS X, Windows,
Xbuntu, and did not encounter any problems.
This archive was generated by a fusion of
Pipermail (Mailman edition) and