Skip to content

Conversation

@Andre601
Copy link
Collaborator

Please read

Please make sure you checked the following:

  • You checked the Pull requests page for any upcoming changes.
  • You documented any public code that the end-user might use.
  • You followed the contributing file

Type

  • Internal change (Doesn't affect end-user).
  • External change (Does affect end-user).
  • Wiki (Changes towards the Wiki).
  • Other: __________

Description

Provide additional information if needed.

This improves the /papi dump command in two specific ways:

It first lists the installed expansions in a new format:

# New format
Expansions Registered:
  <expansion name> [Author: <author>, Version: <version>]

# Old format
Expansions Registered:
  <author>:
    <expansion>: <version>

The expansions are sorted by name followed by author, so that they are grouped by author, while still following alphabetical order.
The content in the brackets has dynamic spaces, meaning that it will have additional spaces added to keep all brackets the same distance.

The second change was to improve listing of installed plugins.
They are also now sorted by alphabet and have a similar look as the Registered Expansions (Brackets containing the version)

Copy link
Member

@extendedclip extendedclip left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Anything that needs tweaked from this can be done after merge.

@extendedclip extendedclip merged commit e43b7bf into PlaceholderAPI:master Jul 31, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants