Idea: Automatically export to pdf on every save

#1

This would be useful when saving your document to iCloud say as you can then view it on an iPad/iPhone.

#2

That can be programmed by users if they wish so. One needs to bind the action to the keyboard shortcut and menu.
It is an extension of the code found in [wiki] Assorted code snippets to customize TeXmacs' behaviour under " Export to a pdf with the same main file name as the current TeXmacs document".
On topic, I know how to add menu entries, but I do not know how to modify one, so perhaps someone can explain that.