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

[Juergen Spitzmueller]

Bo Peng wrote:

> As title, can anyone confirm?

I cannot confirm, but there are bug reports about similar things:
http://bugzilla.lyx.org/show_bug.cgi?id=3727

Jürgen