Process DPI change only once per caret

using Set to collect all the carets needed to be updated and then
calling the callback method to execute the dpi change handler

Author: ShahzaibIbrahim

bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java

@@ -10876,11 +10876,10 @@ void updateSelection(int startOffset, int replacedLength, int newLength) {
  * @noreference This method is not intended to be referenced by clients.
  */
 public static void updateAndRefreshCarets(StyledText styledText, Consumer<Caret> caretUpdater) {
-	caretUpdater.accept(styledText.getCaret());
-	caretUpdater.accept(styledText.defaultCaret);
-	for (Caret caret : styledText.carets) {
-		caretUpdater.accept(caret);
-	}
+	Set<Caret> caretSet = new HashSet<>(Arrays.asList(styledText.getCaret(), styledText.defaultCaret));
+	caretSet.addAll(Arrays.asList(styledText.carets));
+	caretSet.forEach(caretUpdater::accept);
+
 	styledText.updateCaretVisibility();
 	styledText.setCaretLocations();