diff options
| author | 2022-10-01 21:03:17 +0300 | |
|---|---|---|
| committer | 2022-10-01 21:03:17 +0300 | |
| commit | 29f3aede4039ec6cc29a6317a58141159de0d1cc (patch) | |
| tree | f286fff65a2de118a03616ea418a6915bbbcec5e | |
| parent | Add a warning if an added filter has content identicalto others (diff) | |
Show settings in sorted order in UI
| -rw-r--r-- | bot/exts/filtering/_ui.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bot/exts/filtering/_ui.py b/bot/exts/filtering/_ui.py index 676afbbf6..8640b48c4 100644 --- a/bot/exts/filtering/_ui.py +++ b/bot/exts/filtering/_ui.py @@ -427,7 +427,7 @@ class SettingsEditView(discord.ui.View): add_select = CustomCallbackSelect( self._prompt_new_override, placeholder="Select a setting to edit", - options=[SelectOption(label=name) for name in self.type_per_setting_name], + options=[SelectOption(label=name) for name in sorted(self.type_per_setting_name)], row=1 ) self.add_item(add_select) @@ -436,7 +436,7 @@ class SettingsEditView(discord.ui.View): remove_select = CustomCallbackSelect( self._remove_override, placeholder="Select an override to remove", - options=[SelectOption(label=name) for name in override_names], + options=[SelectOption(label=name) for name in sorted(override_names)], row=2 ) if remove_select.options: |