Frama-C Bug Tracking System - Frama-C
View Issue Details
0000729Frama-CKernelpublic2011-02-17 20:592014-02-12 16:59
yakobowski 
signoles 
normalfeaturealways
closedfixed 
Frama-C Carbon-20110201 
Frama-C Nitrogen-20111001 
0000729: Plugin.is_invisible is not see-through enough
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.
No tags attached.
Issue History
2011-02-17 20:59yakobowskiNew Issue
2011-02-17 20:59yakobowskiStatusnew => assigned
2011-02-17 20:59yakobowskiAssigned To => signoles
2011-02-18 14:07signolesStatusassigned => resolved
2011-02-18 14:07signolesResolutionopen => fixed
2011-03-25 13:34signolesNote Added: 0001636
2011-03-25 13:34signolesStatusresolved => feedback
2011-03-25 13:34signolesResolutionfixed => reopened
2011-04-11 13:19signolesNote Added: 0001708
2011-04-12 10:43svnCheckin
2011-04-12 10:43svnStatusfeedback => resolved
2011-04-12 10:43svnResolutionreopened => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2014-02-12 16:59signolesNote Added: 0004808
2014-02-12 16:59signolesStatusclosed => resolved

Notes
(0001636)
signoles   
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   
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   
2014-02-12 16:59   
Fix committed to stable/neon branch.