Until Angus changed it to be part of the workarea, the reason for this pref was a useful workaround for some very annoying lyx behaviour. Do we really still need it ?
I'm about to commit a patch which breaks the banner, btw, until the
graphics stuff is properly reworked
regards
john
--
"If a thing is not diminished by being shared, it is not rightly owned if
it is only owned & not shared."
- St. Augustine
