Merge branch 'main' into telescope-ext

This commit is contained in:
raf 2025-02-17 00:20:31 +00:00 committed by GitHub
commit f2531e456c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
105 changed files with 3657 additions and 4148 deletions

View file

@ -99,12 +99,6 @@
type = float;
default = 0.55;
};
results_width = mkOption {
description = "";
type = float;
default = 0.8;
};
};
vertical = {