On Tue, Mar 29, 2005 at 04:26:07PM +0100, Paul Smith wrote: > * open a new document and open an empty ERT, keeping the ERT and the > document open; > * open a different document and selecting something therein; > * return to the first document and look at the open ERT.
Please file a bug on http://bugzilla.lyx.org/ john
