Frama-C Bug Tracking System - Frama-C
View Issue Details
0002486Frama-CGraphical User Interfacepublic2019-11-16 04:542019-11-18 12:12
Nanoboss 
correnson 
immediatemajoralways
assignedopen 
MacMacOS10.15 (19A583)
 
 
0002486: Left pan (file tree and plugin views) inaccessible upon resize in frama-c-gui
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.
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
No tags attached.
png Capture d’écran 2019-11-16 à 09.13.42.png (1,028,268) 2019-11-16 04:54
https://bts.frama-c.com/file_download.php?file_id=1334&type=bug
Issue History
2019-11-16 04:54NanobossNew Issue
2019-11-16 04:54NanobossStatusnew => assigned
2019-11-16 04:54NanobossAssigned To => maroneze
2019-11-16 04:54NanobossFile Added: Capture d’écran 2019-11-16 à 09.13.42.png
2019-11-18 09:10maronezeNote Added: 0006917
2019-11-18 09:10maronezeAssigned Tomaroneze => correnson
2019-11-18 12:12NanobossNote Added: 0006918

Notes
(0006917)
maroneze   
2019-11-18 09:10   
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.
(0006918)
Nanoboss   
2019-11-18 12:12   
The workaround works like a charm! Thank you very much.