|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002506||Frama-C||Graphical User Interface||public||2020-06-03 22:30||2020-06-04 14:43|
|Priority||normal||Severity||major||Reproducibility||have not tried|
|Status||closed||Resolution||no change required|
|Product Version||Frama-C 19-Potassium|
|Target Version||Fixed in Version|
|Summary||0002506: Unable to right-click on MacOS to drive GUI|
|Description||I'm unable to use the GUI on MacOS. |
I have installed Frama-C on MacOS 10.14 with opam using the instructions in Section 220.127.116.11 of the tutorial https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf. The only exception is that the instructions say "brew install gtk+ --with-jasper" and brew says --with-jasper is no longer supported.
I can start the gui with "frama-c-gui main.c" with the abs function from the tutorial, I can browse the abs function, but I'm unable to right click (control click) on anything in the function to start the verification. I'm following the instructions described in Section 2.2.3 of the tutorial.
Can you give me any guidance on how to proceed or how to debug?
Running frama-c from the command line works just fine.
|Tags||No tags attached.|
|I'm using frama-c-gui on macOS 10.xx on a daily basis for several years now and I never encounter this problem. Just to make sure, please check the result of frama-c configure : it shall be using GTK 2 (not 3) on mac OS.|
|However, notice that GTK interpret keyboard and mouse events via an X server which is provided in the background by XQuartz on macOS. In such setting, control-click might not be equivalent to right-click, although it also works for me. Try two-fingers touch or command-click or launch XQuartz by hand and check the preference window.|
|(In the future, please consider opening issues on our public GitLab repository, this BTS is about to be deprecated)|
|Thank you. The two-fingers touch does give the desired result. Please close this ticket.|
|I came to BTS via the link on https://frama-c.com/support.html. I recommend adding your advice to use GitLab issues there.|
|2020-06-03 22:30||markrtuttle||New Issue|
|2020-06-03 22:30||markrtuttle||Status||new => assigned|
|2020-06-03 22:30||markrtuttle||Assigned To||=> maroneze|
|2020-06-04 07:57||correnson||Note Added: 0006973|
|2020-06-04 08:03||correnson||Note Added: 0006974|
|2020-06-04 08:03||correnson||Assigned To||maroneze => correnson|
|2020-06-04 08:04||correnson||Note Added: 0006975|
|2020-06-04 14:00||markrtuttle||Note Added: 0006976|
|2020-06-04 14:03||markrtuttle||Note Added: 0006977|
|2020-06-04 14:43||correnson||Status||assigned => closed|
|2020-06-04 14:43||correnson||Resolution||open => no change required|