utility/precognition: update gutter hints, new description

This commit is contained in:
Nowaaru 2024-11-04 00:12:41 -07:00
parent 121d375040
commit 37e8dd9a3b
No known key found for this signature in database

View file

@ -48,7 +48,8 @@ in {
}); });
}; };
gutterHints = hints; gutterHints = hints //
{ description = "What motions display and at what priority. Only appears in gutters."; };
disabled_fts = mkOption { disabled_fts = mkOption {
type = listOf str; type = listOf str;