-
Notifications
You must be signed in to change notification settings - Fork 152
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
Trigger FocusIn event on Edge Browser focus #1499
Trigger FocusIn event on Edge Browser focus #1499
Conversation
@HeikoKlare @fedejeanne @akoch-yatta we need to talk about what kind event should be sent to the listener and also what kind of events it should react to. For now my implementation fakes a mouse enter event on a mouseclick but we need to get the semantics right. |
d5b2172
to
1126a35
Compare
1126a35
to
1652c18
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The addition of the event looks sound. Can you please adapt the commit message such that it refers to what the commit does instead of what consumers might do we this?
newEvent.widget = browser; | ||
Point position = browser.getDisplay().getCursorLocation(); // To Points | ||
position = browser.getDisplay().map(null, browser, position); | ||
newEvent.x = position.x; newEvent.y = position.y; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit: can you put these statements into separate lines?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done
378382e
to
641c477
Compare
This update ensures that the Edge browser triggers a FocusIn event for its listeners whenever the WebView gains focus. contributes to eclipse-platform#212
641c477
to
f522412
Compare
Closing this as superseded by #1551. |
This PR contributes to the triggering of the event on mouseclick to replace an information control of the javadoc tooltip while using Edge Browser.
contributes to #1540