[isabelle-dev] Sledgehammer proof text insertion

[Lars Noschinski]

On 05.09.2013 13:35, Florian Haftmann wrote:
> Hi,
>
> after some time playing around with the new sledgehammer panel
> (ab4edf89992f), here my feedback:

Regarding this (and also the new Find panel), I would like to see a 
keyboard shortcut, not only to open the panel (those can already be 
defined), but to select the major function of the panel, i.e.

   start sledgehammer for the sledgehammer panel

and

   give focus to the search term input box for the find panel.