Re: Environment dropbox is not updated after changing environment with shortcuts

[José Matos]

On Wednesday 13 June 2007 19:35:48 Bo Peng wrote:
> As title, can anyone confirm?

  I noticed that too yesterday when demoing lyx to a new customer. :-)

> Bo

-- 
José Abílio