Prof Brian Ripley <ripley <at> stats.ox.ac.uk> writes: > > Please do check the archives: this has been mentioned several times, > including yesterday, with a workaround (and it is fixed in R-patched). > > And I presume you meant the *graphics device* menu, not the console menu. > Thank you and yes, I meant the graphics device menu.