Frama-C Bug Tracking System - Frama-C
View Issue Details
0000242Frama-CGraphical User Interfacepublic2009-09-14 11:182014-02-12 16:56
Reportervirgile 
Assigned Tomonate 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
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

There are no notes attached to this issue.

Issue History
2009-09-14 11:18virgileNew Issue
2009-09-14 12:46signolesStatusnew => assigned
2009-09-14 12:46signolesAssigned To => monate
2009-09-14 19:58svn
2009-09-14 19:58svnStatusassigned => resolved
2009-09-14 19:58svnResolutionopen => fixed
2009-09-23 15:26signolesFixed in Version => Frama-C Beryllium 2
2009-09-23 20:22signolesStatusresolved => closed
2013-12-19 01:13svnSource_changeset_attached => framac master 6087d4c1
2013-12-19 01:14Source_changeset_attached => framac master 8a278021
2014-02-12 16:56monateSource_changeset_attached => framac stable/neon 6087d4c1
2014-02-12 16:56Source_changeset_attached => framac stable/neon 8a278021