0000729: Plugin.is_invisible is not see-through enough - Frama-C Bug Tracking System

Frama-C Bug Tracking System

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.

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.

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

Copyright © 2000 - 2019 MantisBT Team