Display name for needs_extra_options

It would be nice to have a possibility to specify an additional name for needs_extra_options. For example, an internal name (as of now) and an external name which is then displayed in, for instance, needtable.

This might require the specification of needs_extra_options similar to needs_types

needs_extra_options= [dict(option="sec-asm, title="Security Assumption") ]

This could be extended with additional attributes in the future.

[StephanKuempel]

@danwos I think the needs_option_titles could be a good compromise. @twodrops, what do you think ? I had another idea as a workaround: Since it is something which is defining the view of the data, it might also be feasible to just define a needs_layout. But that is too much overhead to achieve this.

[danwos]

The change will not be so easy, as a lot of code is working with needs_extra_options. So changing the allowed data types would affect a lot of code, which is not related to this new feature.

Maybe it is easier to introduce a new config variable, like needs_option_titles = {"new_option": "Another Name"}. It’s not the best solution for user experience, but it would have the lowest impact on our code.

Just to be clear, to add a new option with a custom name, both config vars needs_extra_options and needs_option_titles need to be configured!