Add scrolling to AnnotationWithQuickFixesHover

[MKamelEJ]

Add scrolling to the hover in order to allow displaying of larger text in the error hover

[LorenzoBettini]

I haven't tried the PR, but don't the scrollbars automatically appear when you focus on the hover, e.g., with F2?

Can you please post screenshots of the current situation and the changed behavior?

[cdietrich]

@mehmet-karaman @iloveeclipse can you please also check this with your codebase

[cdietrich]

on mac i have scrollbars without this patch but do not with this patch

[github-actions]

Test Results

  6 452 files  ±0    6 452 suites  ±0   3h 0m 8s ⏱️ - 9m 44s
 43 189 tests ±0   42 605 ✅ ±0    584 💤 ±0  0 ❌ ±0 
169 807 runs  ±0  167 470 ✅ ±0  2 337 💤 ±0  0 ❌ ±0 

Results for commit 9de803f. ± Comparison against base commit 0ebaf43.

[mehmet-karaman]

I am going to check that.

[mehmet-karaman]

I guess i understand what this change means: In normal mode the quickfix annotation hover didn't had a scrollbar. After the change it has a scrollbar.. (even if it wasn't necessary..). I've recorded a video from after change and before change..

Record.mp4

[LorenzoBettini]

But to use the scrollbar (after the change), you have to focus on the popup, do you?
When you focus, the scrollbar will appear anyway, won't it?

[cdietrich]

no even on focus i dont see any

Bildschirmaufnahme.2025-04-16.um.11.18.58.mov

[cdietrich]

on main:

Bildschirmaufnahme.2025-04-16.um.11.20.24.mov

[mehmet-karaman]

@LorenzoBettini
Yes, If i click on the Toolbar, it behaves like I've pushed the F2 key.. But in my case I even didn't needed a Scrollbar.. The original space was enough.

[LorenzoBettini]

So if I understand correctly, the PR does not provide additional utility and it breaks the existing behavior at least on mac.

[mehmet-karaman]

Why was it necessary to provide this fix? Was there a bug regarding this? I've never felt like it was defect.. Could it be that on windows it behaves different?

[Abozekry]

I tried and it seems for large annotation text, user friendly scrolling is needed

[cdietrich]

so i guess we need a splution that works for both the area with the message and the area with the quickfixes

[szarnekow]

@Abozekry @MKamelEJ how shall we proceed with this? Do you plan to refine the PR?