Fix restore defaults in General Preferences

adangel · adangel · commit 42e83b459b5f · 2019-06-29T15:52:26.000+02:00
diff --git a/net.sourceforge.pmd.eclipse.plugin/src/main/java/net/sourceforge/pmd/eclipse/ui/preferences/GeneralPreferencesPage.java b/net.sourceforge.pmd.eclipse.plugin/src/main/java/net/sourceforge/pmd/eclipse/ui/preferences/GeneralPreferencesPage.java
@@ -779,6 +779,7 @@ protected void performDefaults() {
             descriptor.shape.shape = defaultDescriptor.shape.shape;
             descriptor.shape.rgbColor = defaultDescriptor.shape.rgbColor;
             descriptor.label = defaultDescriptor.label;
+            descriptor.iconId = defaultDescriptor.iconId;
         }
         tableViewer.refresh();
 

Original file line number	Diff line number	Diff line change
`@@ -779,6 +779,7 @@ protected void performDefaults() {`
`779`	`779`	`descriptor.shape.shape = defaultDescriptor.shape.shape;`
`780`	`780`	`descriptor.shape.rgbColor = defaultDescriptor.shape.rgbColor;`
`781`	`781`	`descriptor.label = defaultDescriptor.label;`
	`782`	`+ descriptor.iconId = defaultDescriptor.iconId;`
`782`	`783`	`}`
`783`	`784`	`tableViewer.refresh();`
`784`	`785`