Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 208
    • Issues 208
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #100

Closed
Open
Created Nov 16, 2019 by mantis-gitlab-migration@mantis-gitlab-migration

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

Attachments

  • Capture_d_____cran_2019-11-16____09.13.42
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking