0002506: Unable to right-click on MacOS to drive GUI

(0006973)
correnson (manager)
2020-06-04 07:57

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.

(0006974)
correnson (manager)
2020-06-04 08:03

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.

(0006975)
correnson (manager)
2020-06-04 08:04

(In the future, please consider opening issues on our public GitLab repository, this BTS is about to be deprecated)

(0006976)
markrtuttle (reporter)
2020-06-04 14:00

Thank you. The two-fingers touch does give the desired result. Please close this ticket.

(0006977)
markrtuttle (reporter)
2020-06-04 14:03

I came to BTS via the link on https://frama-c.com/support.html. I recommend adding your advice to use GitLab issues there.

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

Notes
(0006973) correnson (manager) 2020-06-04 07:57	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.

(0006974) correnson (manager) 2020-06-04 08:03	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.

(0006975) correnson (manager) 2020-06-04 08:04	(In the future, please consider opening issues on our public GitLab repository, this BTS is about to be deprecated)

(0006976) markrtuttle (reporter) 2020-06-04 14:00	Thank you. The two-fingers touch does give the desired result. Please close this ticket.

(0006977) markrtuttle (reporter) 2020-06-04 14:03	I came to BTS via the link on https://frama-c.com/support.html. I recommend adding your advice to use GitLab issues there.

Relationships