| Anonymous | Login | Signup for a new account | This BTS is being migrated to Gitlab, consider using those issues instead |  |
| Main | My View | View Issues | Change Log | Roadmap | Repositories |
| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ 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 | ||||||
| Platform | OS | OS Version | |||||||
| 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 | |||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0001636) 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". |
|
(0001708) 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. |
|
(0004808) signoles (manager) 2014-02-12 16:59 |
Fix committed to stable/neon branch. |
|
Notes |
|
Issue History |
|||
| 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 | Checkin | |
| 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 |
| 2014-02-12 16:59 | signoles | Note Added: 0004808 | |
| 2014-02-12 16:59 | signoles | Status | closed => resolved |
|
Issue History |
| Copyright © 2000 - 2020 MantisBT Team |
|