2021-02-27 04:49 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000242Frama-CGraphical User Interfacepublic2014-02-12 16:56
Reportervirgile 
Assigned Tomonate 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Beryllium-20090901 
Target VersionFixed in VersionFrama-C Beryllium-20090902 
Summary0000242: 'Go to definition' and 'Go to caller' do not update main view of GUI
DescriptionIn the GUI, Using the menu 'Go to definition' and 'Go to caller' correctly
updates the tree panel (unfolding the appropriate file entry) but does not select the function, and does not update the source view in the middle panel.
Additional Informationgtk version: 2.16.1 (Ubuntu 9.04)
lablgtk version: 2.12.0
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2009-09-14 11:18 virgile New Issue
2009-09-14 12:46 signoles Status new => assigned
2009-09-14 12:46 signoles Assigned To => monate
2009-09-14 19:58 svn
2009-09-14 19:58 svn Status assigned => resolved
2009-09-14 19:58 svn Resolution open => fixed
2009-09-23 15:26 signoles Fixed in Version => Frama-C Beryllium 2
2009-09-23 20:22 signoles Status resolved => closed
2013-12-19 01:13 svn Source_changeset_attached => framac master 6087d4c1
2013-12-19 01:14 Source_changeset_attached => framac master 8a278021
2014-02-12 16:56 monate Source_changeset_attached => framac stable/neon 6087d4c1
2014-02-12 16:56 Source_changeset_attached => framac stable/neon 8a278021
+Issue History