Is Document -> Refresh a good idea?
Menu "refresh"
Item "Mark document dirty|M" "refresh document"
Item "Regenerate preview|P" "refresh preview"
Item "Reload buffer" "refresh buffer"
End
Mark document dirty is useful when an external file is changed and I
would like to regenerate pdf etc when the buffer is clean.
Regenerate preview is useful when previews need to be re-generated,
for example, after a preamble change.
Reload buffer is useful when I have externally modified a .lyx file
and would like to reload it.
These are not very useful but can be handy from time to time.
Cheers,
Bo
