Track and dispose resources created by operations in GC

[arunjose696]

Description:

Each Operation subclass now maintains its own list of disposable SWT resources. These are added to a disposables list within the Operation and are disposed when the GC is disposed. This ensures cleanup of resources.

Steps to Reproduce:

There is currently an issue with SWT resource tracking due to monitor-specific scaling. To reproduce the warning:

1)Temporarily comment out resourcesWithZoomSupport.add(resource); in the Device class (i.e., the implementation of registerResourceWithZoomSupport):

2)Start the Eclipse runtime workspace with the following VM argument:

-Dorg.eclipse.swt.graphics.Resource.reportNonDisposed=true
3)Wait a minute for the garbage collector to run.

You will then see the following warning in the logs:

!ENTRY org.eclipse.ui.ide 4 4 2025-07-22 10:57:59.955
!MESSAGE Not properly disposed SWT resource
!STACK 0 
java.lang.Error: SWT Resource was not properly disposed

[github-actions]

Test Results

   546 files  ±0     546 suites  ±0   36m 33s ⏱️ +4s
 4 407 tests ±0   4 390 ✅ ±0   17 💤 ±0  0 ❌ ±0 
16 713 runs  ±0  16 586 ✅ ±0  127 💤 ±0  0 ❌ ±0 

Results for commit 999d3db. ± Comparison against base commit 69a577c.

♻️ This comment has been updated with latest results.

[HeikoKlare]

Overall, the proposal looks great. Maybe can further improve the temporary resource handling in a follow-up by only storing the resource's data and creating new resources only temporarily on demand, but this already properly addresses potentialy resource leaks, so let's start with this proposal.

[amartya4256]

I tested the code. For all the Operations, a disposable resource is registered, are all disposed on the disposal of the GC. However, I have one concern over Region.
For Region, we do not store the region object but the handle for the zoom. Which means if the GC is refreshed with a different zoom, the same handle will be used. Probably not related to this PR, but maybe we need to check if we would run in a problem with that.

Looks good. Approving.