diff options
| author | ChrHorn | 2022-08-15 15:18:04 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-15 15:18:04 +0000 |
| commit | a7ff39fe3e8da94b50bc5595f77dc7097f546b52 (patch) | |
| tree | c0981df721e1f05af398da03a28213a9ea629d62 | |
| parent | 8a757954728b52ec92843388049dcaea60db8e3c (diff) | |
remove duplicate entries from theme picker (#3439)
| -rw-r--r-- | helix-term/src/ui/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/helix-term/src/ui/mod.rs b/helix-term/src/ui/mod.rs index 113bc486..560e9155 100644 --- a/helix-term/src/ui/mod.rs +++ b/helix-term/src/ui/mod.rs @@ -260,6 +260,7 @@ pub mod completers { names.push("default".into()); names.push("base16_default".into()); names.sort(); + names.dedup(); let mut names: Vec<_> = names .into_iter() |