Dov Feldstern wrote:
So now the question is: do we need this function at all at this point? Since it seems to have been doing nothing for the past three years, can we just get rid of it? Does anyone know if what the code that's in there *should* have been doing is still needed?
You should never have to restart LyX for your preference change to take effect. That's just lame. So, keep the function but give your own changes precedence over worries about the function's functionality.
Angus (just my two cents, of course...)
