Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002486Frama-CGraphical User Interfacepublic2019-11-16 04:542019-11-18 12:12
ReporterNanoboss 
Assigned Tocorrenson 
PriorityimmediateSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
PlatformMacOSMacOSOS Version10.15 (19A583)
Product Version 
Target VersionFixed in Version 
Summary0002486: Left pan (file tree and plugin views) inaccessible upon resize in frama-c-gui
DescriptionI 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 ReproduceClick 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
TagsNo tags attached.
Attached Filespng file icon Capture d’écran 2019-11-16 à 09.13.42.png [^] (1,028,268 bytes) 2019-11-16 04:54

- Relationships

-  Notes
(0006917)
maroneze (administrator)
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 (reporter)
2019-11-18 12:12

The workaround works like a charm! Thank you very much.

- Issue History
Date Modified Username Field Change
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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker