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

Trigger FocusIn event on Edge Browser focus #1499

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

amartya4256
Copy link
Contributor

@amartya4256 amartya4256 commented Sep 30, 2024

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

@amartya4256
Copy link
Contributor Author

@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.

Copy link
Contributor

github-actions bot commented Sep 30, 2024

Test Results

   486 files  ±0     486 suites  ±0   8m 25s ⏱️ +27s
 4 154 tests ±0   4 146 ✅ ±0   8 💤 ±0  0 ❌ ±0 
16 370 runs  ±0  16 278 ✅ ±0  92 💤 ±0  0 ❌ ±0 

Results for commit f522412. ± Comparison against base commit 209d75a.

♻️ This comment has been updated with latest results.

@amartya4256 amartya4256 force-pushed the edge_replaceInformationControl branch 2 times, most recently from d5b2172 to 1126a35 Compare October 16, 2024 08:31
@amartya4256 amartya4256 marked this pull request as ready for review October 16, 2024 10:03
Copy link
Contributor

@HeikoKlare HeikoKlare left a 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;
Copy link
Contributor

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?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Done

@amartya4256 amartya4256 force-pushed the edge_replaceInformationControl branch 2 times, most recently from 378382e to 641c477 Compare October 16, 2024 15:19
This update ensures that the Edge browser triggers a FocusIn event for its listeners whenever the WebView gains focus.

contributes to eclipse-platform#212
@HeikoKlare HeikoKlare force-pushed the edge_replaceInformationControl branch from 641c477 to f522412 Compare October 16, 2024 15:22
@HeikoKlare HeikoKlare changed the title Replace Inforamtion control on mouse click in Edge Trigger FocusIn event on Edge Browser focus Oct 16, 2024
@HeikoKlare HeikoKlare added the edge Edge Browser label Oct 16, 2024
@sratz
Copy link
Member

sratz commented Oct 16, 2024

contributes to #212

I think you mean #1540?

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

Successfully merging this pull request may close these issues.

3 participants