This file contains two functions that update the title of the current file
(see §5.30 page ) before saving it. Filename, path, modification,author
and date are updated if they are included in the title.
- void update_title_and_save_file(); updates the title
and saves the current file (default binding "
- void update_title_backup_and_save_file(); does the
same, but moves old version to filename
~ first (default binding
Mon Mar 6 13:33:34 MET 1995