'Go to definition' and 'Go to caller' do not update main view of GUI
ID0000242: This issue was created automatically from Mantis Issue 242. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000242 | Frama-C | Graphical User Interface | public | 2009-09-14 | 2014-02-12 |
| Reporter | virgile | Assigned To | monate | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090901 | Target Version | - | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
In 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 Information :
gtk version: 2.16.1 (Ubuntu 9.04) lablgtk version: 2.12.0