Re: Ctrl+space killed in mathed?

[Jürgen Spitzmüller]

Guenter Milde wrote:
> > So the attached patch would be what you request. Shall I put this in?
> 
> Looks fine to me: 

I've committed to trunk. What about branch?

Jürgen