Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2015-RC3: focus problems with popups


view this post on Zulip Email Gateway (Aug 22 2022 at 10:06):

From: Christian Sternagel <c.sternagel@gmail.com>
I just tried again with RC3, and still:

Whenever I did a search (started with C-F) and are done, I close the
popup either bei pressing ESC or clicking the close button. In both
cases the cursor in the main buffer (from which I started) stays gray
and I have to explicitly click with the mouse to get the focus again.

Can I do anything in order to provide more useful information?

Does anybody else have the same problem?

cheers

chris

view this post on Zulip Email Gateway (Aug 22 2022 at 10:08):

From: Christian Sternagel <c.sternagel@gmail.com>
Just as a further point of reference. This really seems to be some kind
of timing issue, since it (very very rarely) happens that after closing
the search dialog the focus is back in the main view again.


Last updated: Apr 24 2024 at 04:17 UTC