Left pan (file tree and plugin views) inaccessible upon resize in frama-c-gui
ID0002486: This issue was created automatically from Mantis Issue 2486. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002486 | Frama-C | Graphical User Interface | public | 2019-11-16 | 2019-11-18 |
| Reporter | Nanoboss | Assigned To | correnson | Resolution | open |
| Priority | immediate | Severity | major | Reproducibility | always |
| Platform | Mac | OS | MacOS | OS Version | 10.15 (19A583) |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
I tried to remove the file tree and the plugin view using the slider (the little dots on the left) to have more space. But impossible to access it again as it's positioned really close from the border. Can't click and drag anymore.
Tested on 2 Macs, rebooting the laptop, restarting Frama-c-gui, a complete reinstallation of opam and brew didn't solve the issue. The windows keeps the same dimensions when we restart frama-c. Might come from gtk, but can't find where the windows properties are stored.
Steps To Reproduce :
Click on the dots on the left pan, drag to the left until it disappears completely and try to drag it back. I suspect that the issue might be similar for the right pan
