View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000729 | Frama-C | Kernel | public | 2011-02-17 20:59 | 2014-02-12 16:59 | ||||
Reporter | yakobowski | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | feature | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Carbon-20110201 | ||||||||
Target Version | Fixed in Version | Frama-C Nitrogen-20111001 | |||||||
Summary | 0000729: Plugin.is_invisible is not see-through enough | ||||||||
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. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
signoles (manager) 2011-03-25 13:34 |
Well, implementing this feature introduced a bug since now some options are invisible (in the sense you want) while they should not... That is options registering at any stage different of "configuring". |
signoles (manager) 2011-04-11 13:19 |
Furthermore, if invisible options are aliases, then these aliases should also be invisible. That is not the case yet. |
signoles (manager) 2014-02-12 16:59 |
Fix committed to stable/neon branch. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2011-02-17 20:59 | yakobowski | New Issue | |
2011-02-17 20:59 | yakobowski | Status | new => assigned |
2011-02-17 20:59 | yakobowski | Assigned To | => signoles |
2011-02-18 14:07 | signoles | Status | assigned => resolved |
2011-02-18 14:07 | signoles | Resolution | open => fixed |
2011-03-25 13:34 | signoles | Note Added: 0001636 | |
2011-03-25 13:34 | signoles | Status | resolved => feedback |
2011-03-25 13:34 | signoles | Resolution | fixed => reopened |
2011-04-11 13:19 | signoles | Note Added: 0001708 | |
2011-04-12 10:43 | svn | ||
2011-04-12 10:43 | svn | Status | feedback => resolved |
2011-04-12 10:43 | svn | Resolution | reopened => fixed |
2011-10-10 14:13 | signoles | Fixed in Version | => Frama-C Nitrogen-20111001 |
2011-10-10 14:14 | signoles | Status | resolved => closed |
2013-12-19 01:12 | signoles | Source_changeset_attached | => framac master 490d97c1 |
2014-02-12 16:54 | signoles | Source_changeset_attached | => framac stable/neon 490d97c1 |
2014-02-12 16:59 | signoles | Note Added: 0004808 | |
2014-02-12 16:59 | signoles | Status | closed => resolved |