[RFA 1/3] Implement 'set print frame-info|frame-arguments presence'.

[Tom Tromey]

>>>>> "Philippe" == Philippe Waroquiers <philippe.waroquiers@skynet.be> writes:

Philippe> New settings allow to better control what frame information is printed.
Philippe> 'set print frame-info' allows to override the default frame information
Philippe> printed when a GDB command prints a frame.

Philippe> It is now possible to have very short frame information by using the
Philippe> new 'set print frame-arguments presence' and 'set print frame-info short_loc'.

I didn't read the patch in detail yet, but I noticed this:

Philippe> +	* stack.c (print_frame_arguments_choices): New value 'presence'.
Philippe> +	(print_frame_args): Only print dots for args if print frame-arguments
Philippe> +	is 'presence'.
Philippe> +	(print_what_frame_info_string, print_what_frame_info)
Philippe> +	(set_print_frame_info_command): New variables and function.
Philippe> +	(print_frame_info): Update comment.  Use print_what_frame_info
Philippe> +	to decide what to print.

There's a whole separate set of frame-printing functions in
python/py-framefilter.c.  Those must be updated as well.

thanks,
Tom