Re: Alt key shortcut change

[Scott Kostyshak]

On Thu, Aug 7, 2014 at 10:20 PM, Pavel Sanda <sa...@lyx.org> wrote:

>> Here is a patch, I don't know what others think:
>
> Legit to me. P

It's in at f63146c0.

Scott