* Find panel: support for 'find_consts' in addition to 'find_theorems'.
This refers to Isabelle/5b6f4655e2f2.
I have also made a few rounds through the GUI code of various panels and
tabs within the panels, to ensure that both the implicit and explicit
focus works smoothly. This is relevant to minimize the need for mouse
clicks for people who are attached to the keyboard, and thus don't have a
hand free.
If there are remaining problems with such fine points of GUI event
handling, they should be published here and not kept secret as usual.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
