Re: child document not working as advertised?

[Guenter Milde]

On 2009-03-25, rgheck wrote:
> Guenter Milde wrote:

>>>> BTW: Would it be possible to put all hidden buffers in a sub-menu?
>> Should I file a bug?

> If it's not filed, I guess so. 

Done: http://bugzilla.lyx.org/show_bug.cgi?id=5872

Günter