mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-25 13:16:11 +03:00
fix: theme search ranking is now case insensitive
This commit is contained in:
@ -293,7 +293,7 @@ const Preview = struct {
|
|||||||
|
|
||||||
for (self.themes, 0..) |*theme, i| {
|
for (self.themes, 0..) |*theme, i| {
|
||||||
theme.rank = zf.rank(theme.theme, tokens.items, .{
|
theme.rank = zf.rank(theme.theme, tokens.items, .{
|
||||||
.to_lower = false,
|
.to_lower = true,
|
||||||
.plain = true,
|
.plain = true,
|
||||||
});
|
});
|
||||||
if (theme.rank != null) try self.filtered.append(i);
|
if (theme.rank != null) try self.filtered.append(i);
|
||||||
|
Reference in New Issue
Block a user