Sort installed plugins case-insensitive

aljawaid / PluginManager

Replace the Installed Plugins section with a whole new interface. Plugin Manager provides both users and developers with an improved layout displaying a new section for troubleshooting plugins with a new plugin structure breakdown for each plugin. Install plugins directly or explore new upcoming or untested features from manual plugins.

MIT License

17 stars 3 forks source link

Sort installed plugins case-insensitive #3

Closed alfredbuehler closed 2 years ago

alfredbuehler commented 2 years ago

Fixes #1.

aljawaid commented 2 years ago

@alfredbuehler great but does the same not need doing for the directory? I'm not sure why it was affected by lowercase on one and not the other... kindly clarify before I merge

alfredbuehler commented 2 years ago

No, the two cases are treated differently. For the directory, the sort/compare was already done case-insensitive, in patch-1. It's OK now.