| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000242 | Frama-C | Graphical User Interface | public | 2009-09-14 11:18 | 2014-02-12 16:56 | ||||
| Reporter | virgile | ||||||||
| Assigned To | monate | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Product Version | Frama-C Beryllium-20090901 | ||||||||
| Target Version | Fixed in Version | Frama-C Beryllium-20090902 | |||||||
| Summary | 0000242: 'Go to definition' and 'Go to caller' do not update main view of GUI | ||||||||
| 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 | ||||||||
| Tags | No 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 |