rise4fun.com/dafny: shortcut for "ask dafny"

Sep 27, 2012 at 3:54 PM

Is it possible to invoke "ask dafny" from keyboard ? It can be very useful for small screens and large texts when "ask dafny" button can't be seen in screen.

Coordinator
Sep 29, 2012 at 6:00 AM

I am not aware of such a feature, but I will pass on the request to the appropriate person.

  Rustan

Sep 29, 2012 at 7:45 AM

Thank you, Rustan !

Oct 6, 2012 at 8:32 AM

Thank you, it works! But it changes focus to the button "Ask dafny" after "Alt+B" is pressed. So I have to move back to the Dafny code after "Alt+B". I think it would be better to restore focus after "Alt+B" is pressed.