Fire the correct property in Product#setIncludeJre

Phillipus · HannesWell · commit d92416afbddf · 2024-05-31T08:49:27.000+02:00
The property should be P_INCLUDE_JRE not P_INCLUDE_LAUNCHERS See #1278
diff --git a/ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/product/Product.java b/ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/product/Product.java
@@ -900,7 +900,7 @@ public void setIncludeJre(boolean include) {
 		boolean old = fIncludeJre;
 		fIncludeJre = include;
 		if (isEditable()) {
-			firePropertyChanged(P_INCLUDE_LAUNCHERS, Boolean.toString(old), Boolean.toString(fIncludeJre));
+			firePropertyChanged(P_INCLUDE_JRE, Boolean.toString(old), Boolean.toString(fIncludeJre));
 		}
 
 	}

Original file line number	Diff line number	Diff line change
`@@ -900,7 +900,7 @@ public void setIncludeJre(boolean include) {`
`900`	`900`	`boolean old = fIncludeJre;`
`901`	`901`	`fIncludeJre = include;`
`902`	`902`	`if (isEditable()) {`
`903`		`- firePropertyChanged(P_INCLUDE_LAUNCHERS, Boolean.toString(old), Boolean.toString(fIncludeJre));`
	`903`	`+ firePropertyChanged(P_INCLUDE_JRE, Boolean.toString(old), Boolean.toString(fIncludeJre));`
`904`	`904`	`}`
`905`	`905`
`906`	`906`	`}`