remove duplicate entries from theme picker (#3439)
This commit is contained in:
parent
8a75795472
commit
a7ff39fe3e
1 changed files with 1 additions and 0 deletions
|
@ -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()
|
||||
|
|
Loading…
Add table
Reference in a new issue