Merge pull request #603 from horriblename/fix-telescope-bad-option

Telescope: remove invalid option `results_width`
This commit is contained in:
raf 2025-02-06 11:28:51 +00:00 committed by GitHub
commit a6d9e75f37
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -87,11 +87,6 @@
type = float;
default = 0.55;
};
results_width = mkOption {
description = "";
type = float;
default = 0.8;
};
};
vertical = {
mirror = mkOption {