Fixed areURLReferentsEqual; PluginManager dialog tuning#378

Merged

dbenn merged 1 commit intomasterfrom issue-373-plugin-equality

Nov 2, 2023

+9-13

Commits on Oct 29, 2023

Fixed areURLReferentsEqual; in the PluginManager dialog, an item is grayed if local and remote plug-ins differ or if the remote plug-in does not exist.
mpyat2
committed