RE: Should we kill off the headers in Tools>Preferences?

[Leuven, E.]

> And if you do,

done:

http://www.lyx.org/trac/changeset/19914

> you can mark 4153 fixedintrunk.

i am not a "sufficiently empowered user" so perhaps someone who is can do 
that...