Use GUID, instead of plugin name, as key for plugin settings.

mast-eu · mast-eu · commit ab11f6fa4149 · 2021-03-26T23:09:45.000+01:00
This change was implemented in Git Extensions with PR gitextensions/gitextensions#8995.
diff --git a/src/GitExtensions.GerritPlugin/GerritPlugin.cs b/src/GitExtensions.GerritPlugin/GerritPlugin.cs
@@ -52,7 +52,8 @@ public class GerritPlugin : GitPluginBase, IGitPluginForRepository
         // public only because of FormTranslate
         public GerritPlugin() : base(true)
         {
-            SetNameAndDescription("Gerrit Code Review");
+            Id = new Guid("98AC833D-21F0-4FD7-8A0F-5616E093FC59");
+            Name = "Gerrit Code Review";
             Translate();
             Icon = Resources.IconGerrit;
         }

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,8 @@ public class GerritPlugin : GitPluginBase, IGitPluginForRepository`
`52`	`52`	`// public only because of FormTranslate`
`53`	`53`	`public GerritPlugin() : base(true)`
`54`	`54`	`{`
`55`		`- SetNameAndDescription("Gerrit Code Review");`
	`55`	`+ Id = new Guid("98AC833D-21F0-4FD7-8A0F-5616E093FC59");`
	`56`	`+ Name = "Gerrit Code Review";`
`56`	`57`	`Translate();`
`57`	`58`	`Icon = Resources.IconGerrit;`
`58`	`59`	`}`