[Kernel] replace do_iterate with is_reconfigurable
Allows iterating through _all_ plugin options, while keeping same list of options for the GUI. Typed parameters have two extra fields: - visible: must be synchronized with the Cmdline.visible field; - reconfigurable: to be shown in the GUI's "Analyses" panel. iter_on_plugins (and fold_on_plugins) operate over all plugin options
Showing
- src/kernel_services/cmdline_parameters/parameter_builder.ml 23 additions, 17 deletionssrc/kernel_services/cmdline_parameters/parameter_builder.ml
- src/kernel_services/cmdline_parameters/parameter_customize.ml 5 additions, 5 deletions...kernel_services/cmdline_parameters/parameter_customize.ml
- src/kernel_services/cmdline_parameters/parameter_customize.mli 15 additions, 10 deletions...ernel_services/cmdline_parameters/parameter_customize.mli
- src/kernel_services/cmdline_parameters/typed_parameter.ml 7 additions, 3 deletionssrc/kernel_services/cmdline_parameters/typed_parameter.ml
- src/kernel_services/cmdline_parameters/typed_parameter.mli 4 additions, 0 deletionssrc/kernel_services/cmdline_parameters/typed_parameter.mli
- src/kernel_services/plugin_entry_points/kernel.ml 5 additions, 6 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/plugin.ml 2 additions, 2 deletionssrc/kernel_services/plugin_entry_points/plugin.ml
- src/kernel_services/plugin_entry_points/plugin.mli 4 additions, 3 deletionssrc/kernel_services/plugin_entry_points/plugin.mli
- src/plugins/gui/launcher.ml 4 additions, 1 deletionsrc/plugins/gui/launcher.ml
Loading
Please register or sign in to comment