Re: [patch] PR python/12438

Phil Muldoon
2011-07-11T14:37:11Z

Tom Tromey <tromey@redhat.com> writes:

>>>>>> "Phil" == Phil Muldoon <pmuldoon@redhat.com> writes:
>
> Phil> I was adding the new commands to the old list. So you were quite
> Phil> right. Sorry about that ;)
>
> No problem.
>
> I think this change should have a NEWS entry -- both to document that
> the default changed and to mention the new commands.
>
> Phil> +struct cmd_list_element *maint_set_python_list;
> Phil> +struct cmd_list_element *maint_show_python_list;
> Phil> +
> Phil> +/* Lists for 'set python' commands. */
> Phil> +
> Phil> +struct cmd_list_element *user_set_python_list;
> Phil> +struct cmd_list_element *user_show_python_list;
>
> These can all be static.
>
> Code bits ok with that change.

So committed with doc and code changes.

Cheers

Phil