src/plugins/gui/property_navigator.ml · 701a490252ab5a3f4798426668220301c2bdfdf5 · Charles Southerland / frama-c · GitLab

Find file Blame History Permalink

[gui] restore property panel in absence of dgraph · d20cc928
Virgile Prevosto authored Sep 11, 2019
```
only the graph dependencies window is replaced by a dialog indicating
that it is not available
```
d20cc928