On 09.08.2013 21:05, Makarius wrote:
*** Prover IDE -- Isabelle/Scala/jEdit ***
* Dockable window "Find" provides query operations for formal entities
(GUI front-end to 'find_theorems' command).
Speaking of a1a78a271682, the UI elements for the "Search criteria"
don't work well for me: If the dock is not wide enough, the elements
overflow into the next row, but the space reserved for the UI elements
does not increase. Hence, they are hidden by the output frame.
(on Debian with standard GNOME 3 installation).
Best regards,
Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
