Changed of name Save Snippet dialogue box to Save Annotated Source and made other related revisions.
Authored by: delphidabbler 2013-11-28
Parent: [r3996]
Child: [r3998]
