Regarding this bug: http://bugzilla.lyx.org/show_bug.cgi?id=3794.
It seems to me something needs to be done about this soon. The question is what. I'd propose doing two things: (i) The Close Window menu entry should be disabled if there is only one window open; (ii) Perhaps it should be renamed to something like Close View. This is going to be confusing for people, and already is.
I've had a quick peek at how to do the first. It seems to me that we would need a method haveMultipleViews() in frontends/Gui.h that will tell us (duh) whether we have multiple views. Yes?
Richard -- ================================================================== Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ ================================================================== Get my public key from http://sks.keyserver.penguin.de Hash: 0x1DE91F1E66FFBDEC Learn how to sign your email using Thunderbird and GnuPG at: http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
