eclipse.platform.ui icon indicating copy to clipboard operation
eclipse.platform.ui copied to clipboard

#2323 'Restore Defaults' uses different value when USE_MARKER_LIMITS pref is false.

Open eobrienPilz opened this issue 1 year ago • 1 comments

Proposed fix for issue #2323 is to use 100 as the default value on first launch and also on pressing the 'Restore Defaults' button.

eobrienPilz avatar Sep 25 '24 10:09 eobrienPilz

Test Results

 1 821 files  ±0   1 821 suites  ±0   1h 31m 21s ⏱️ +13s  7 734 tests ±0   7 506 ✅ ±0  228 💤 ±0  0 ❌ ±0  24 363 runs  ±0  23 614 ✅ ±0  749 💤 ±0  0 ❌ ±0 

Results for commit 68b5f2b2. ± Comparison against base commit d8afbe0b.

:recycle: This comment has been updated with latest results.

github-actions[bot] avatar Sep 25 '24 11:09 github-actions[bot]

Is anyone available to review this ? Its just a small fix and shouldn't have any side effects.

eobrienPilz avatar Jan 02 '25 14:01 eobrienPilz

I wonder if this really the correct fix. Isn't it possible for a product to override defaults?

Should it maybe be like this?

int markerLimits = preferenceStore.getInt(IDEInternalPreferences.MARKER_LIMITS_VALUE);

Indeed, this looks like an example of such customization:

image

merks avatar Jan 02 '25 15:01 merks

Yes, I am not sure if there is a reason why pressing restore defaults uses a hard coded value. I'll see if I can change it so that it always uses the stored default like you suggest.

eobrienPilz avatar Jan 02 '25 15:01 eobrienPilz

Yes, the 1000 is definitely fishy. 😕

merks avatar Jan 02 '25 16:01 merks

I made the update and tested it. The restore defaults button now sets the the stored preference value, as expected.

eobrienPilz avatar Jan 02 '25 17:01 eobrienPilz

🙏

merks avatar Jan 02 '25 19:01 merks