Plugin.is_invisible is not see-through enough
ID0000729: This issue was created automatically from Mantis Issue 729. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000729 | Frama-C | Kernel | public | 2011-02-17 | 2014-02-12 |
| Reporter | yakobowski | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
Although setting Plugin.is_invisible before creating a parameter prevents it from being displayed in the "Run analyses" menue of the Gui, this is not the case in the help messages displayed on the console. Hiding the parameter at both places would be great.