|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002486||Frama-C||Graphical User Interface||public||2019-11-16 04:54||2019-11-18 12:12|
|Platform||Mac||OS||MacOS||OS Version||10.15 (19A583)|
|Target Version||Fixed in Version|
|Summary||0002486: Left pan (file tree and plugin views) inaccessible upon resize in frama-c-gui|
|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|
|Tags||No tags attached.|
Thanks for the report.
I believe it might be macOS-specific, since on Linux I can drag it back to the right after completely minimizing it. I currently don't have a working graphical macOS to test it, but I will ask our macOS-native developers to take a look at it.
In any case, the GUI settings such as panel dimensions are stored by default in: ~/.config/frama-c/gui/frama-c-gui.config
Erasing this file and re-running the Frama-C GUI should reset to the default settings, so as a temporary workaround it should allow you to get the panel back.
|The workaround works like a charm! Thank you very much.|
|2019-11-16 04:54||Nanoboss||New Issue|
|2019-11-16 04:54||Nanoboss||Status||new => assigned|
|2019-11-16 04:54||Nanoboss||Assigned To||=> maroneze|
|2019-11-16 04:54||Nanoboss||File Added: Capture d’écran 2019-11-16 à 09.13.42.png|
|2019-11-18 09:10||maroneze||Note Added: 0006917|
|2019-11-18 09:10||maroneze||Assigned To||maroneze => correnson|
|2019-11-18 12:12||Nanoboss||Note Added: 0006918|