Skip to content

[6] Fix background of tooltip anchor#7

Open
peransin-obeo wants to merge 2 commits into
eclipse-eef:masterfrom
peransin-obeo:dev/tooltip_background
Open

[6] Fix background of tooltip anchor#7
peransin-obeo wants to merge 2 commits into
eclipse-eef:masterfrom
peransin-obeo:dev/tooltip_background

Conversation

@peransin-obeo

@peransin-obeo peransin-obeo commented May 26, 2026

Copy link
Copy Markdown
Contributor

Fix the issue #3

How to test

  • Change Eclipse theme in "Window > Preferences ... \ General Apperance" to Light Theme
  • Open a model with Sirius Properties.
  • Before patch : the background of tooltips has the wrong color (different from it container)

@lredor lredor left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

WARNING: Only the second commit of this PR is approved. The first one corresponds to PR #5 and has comments!

Not editable widget must not be disabled.
Disable widget cannot be scrolled.
User should be able to read and copy the content.
Actions must still be driven by "is Enabled Expression".

eclipse-eef#3
Change-Id: I46b47a1ade5b3472191e619f07aa1c4db93adaa9
Signed-off-by: Nicolas Peransin <nicolas.peransin@obeo.fr>
@peransin-obeo peransin-obeo changed the title Fix background of tooltip anchor [6] Fix background of tooltip anchor Jun 30, 2026
eclipse-eef#6

Change-Id: I1b5a60b1307a09c91264a84bd78b5bd107526639
@peransin-obeo peransin-obeo force-pushed the dev/tooltip_background branch from 78a8490 to 2d88911 Compare June 30, 2026 12:44
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