Printed category and snippet information, along with snippet information copied to clipboard now use snippet display name wherever a snippet is referenced.
Part of fix for bug #3559239 (http://bit.ly/Pm1HU4).
Authored by: delphidabbler 2012-08-18
Parent: [r2231]
Child: [r2233]
