The disproportion between block sizes and caption sizes on a callgrath.
ID0002273: This issue was created automatically from Mantis Issue 2273. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002273 | Frama-C | Graphical User Interface | public | 2017-01-17 | 2017-01-17 |
| Reporter | Max P. | Assigned To | signoles | Resolution | no change required |
| Priority | normal | Severity | tweak | Reproducibility | always |
| Platform | Cygwin | OS | Windows 7 | OS Version | x64 SP1 |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | - |
Description :
Callgraph looks as on attached screenshot.
Additional Information :
After the first callgraph opening the warning is generated: (frama-c-gui.exe:8512): Pango-WARNING **: couldn't load font "Times-Roman Not-Rotated 14", falling back to "Sans Not-Rotated 14", expect ugly output.
Steps To Reproduce :
In GUI select command "Show callgraph".
