Keyboard shortcut to apply first `Try this:`

Stream: mathlib4

[Bhavik Mehta]

This came up in LftCM - is there a keyboard shortcut which applies the (first) Try this suggestion, for instance after an exact?

[Johan Commelin]

I think it used to be Alt-V in the olden days

[Johan Commelin]

Note that Ctrl-. allows you to apply code actions.

[Johan Commelin]

So Ctrl-. + Enter should work. But it is a bit roundabout

[Bhavik Mehta]

Much better than nothing, thanks!

[Eric Wieser]

If we made it an "autofix" (like "generate skeleton for constructor") then "alt+shift+." would work

[Mario Carneiro]

I thought it was already an autofix?