[2/2] RFA: implement 'set print symbol'

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Tom> If you pick a better name, I will change the patch.

Eli> How about "set print auto-symbol-filename"?

Eli> Or maybe make "set print symbol-filename" a tristate setting, with an
Eli> additional state "always"?

It isn't directly related to whether or not the file name is printed.
It has to do with whether the symbol name itself is printed.
So I don't think either of these really fits.

Tom