Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cleaning and completing callback interface #7

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Cleaning and completing callback interface #7

wants to merge 3 commits into from

Conversation

craff
Copy link
Owner

@craff craff commented Jan 9, 2021

Cleaning some type for X events, adding focus and entering/leaving window event and
testing these in maze example.

@craff craff requested a review from rlepigre January 9, 2021 03:38
@rlepigre
Copy link
Collaborator

The leave window event does not seem to work on my machine. When my mouse leaves the window nothing happens (even after I added some debug printing to the callback.)

lib/ml_egl.c Outdated
{
CAMLparam1(v) ;
if(!initialized)
failwith("Egl.set_motion_notify_callback: not initialized") ;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I noticed the error message is wrong here, we should check them all before merging.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

By the way, these functions are all very similar. Maybe we should generate them with a macro.

@craff
Copy link
Owner Author

craff commented Jan 10, 2021 via email

@craff
Copy link
Owner Author

craff commented Jan 10, 2021 via email

@craff
Copy link
Owner Author

craff commented Jan 10, 2021 via email

@rlepigre
Copy link
Collaborator

For me it works on maze, if I leave the window while a key is presses, the maze stops its movement. This does not work for you ?

Actually it now works, maybe I did something wrong when testing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants