Re: [patch] RTL cursor display on inset edges

[José Matos]

On Monday 04 June 2007 17:19:07 Dov Feldstern wrote:
> Hi!
>
> Yes, the patches in the new thread from this morning
> (http://permalink.gmane.org/gmane.editors.lyx.devel/86583) are all OKed
> by me.

Stefan, you can proceed with those.

-- 
José Abílio