Enable coq_settings.xdg by default

This commit is contained in:
vi-improved 2023-02-07 15:13:57 +00:00 committed by GitHub
parent 8d41514bbe
commit 486d526c9e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,6 +33,7 @@ in
settings = {
auto_start = cfg.autoStart;
"keymap.recommended" = cfg.recommendedKeymaps;
xdg = true;
};
in
mkIf cfg.enable {