plugins/dap-ui: normalize plugin defaults

This commit is contained in:
Matt Sturgeon 2024-06-11 16:51:52 +01:00
parent d61ecb3f73
commit b86db98f53
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299

View file

@ -15,9 +15,9 @@ let
name: name:
mapAttrs ( mapAttrs (
key: default: key: default:
helpers.defaultNullOpts.mkNullable (with types; either str (listOf str)) "${ helpers.defaultNullOpts.mkNullable (
default with types; either str (listOf str)
}" "Map `${key}` for ${name}" ) default "Map `${key}` for ${name}"
); );
elementOption = types.submodule { elementOption = types.submodule {
@ -90,7 +90,10 @@ in
types.submodule { types.submodule {
options = mkKeymapOptions "element mapping overrides" { options = mkKeymapOptions "element mapping overrides" {
edit = "e"; edit = "e";
expand = ''["<CR>" "<2-LeftMouse>"]''; expand = [
"<CR>"
"<2-LeftMouse>"
];
open = "o"; open = "o";
remove = "d"; remove = "d";
repl = "r"; repl = "r";
@ -109,7 +112,12 @@ in
border = helpers.defaultNullOpts.mkBorder "single" "dap-ui floating window" ""; border = helpers.defaultNullOpts.mkBorder "single" "dap-ui floating window" "";
mappings = helpers.mkNullOrOption (types.submodule { mappings = helpers.mkNullOrOption (types.submodule {
options = mkKeymapOptions "dap-ui floating" { close = ''["<ESC>" "q"]''; }; options = mkKeymapOptions "dap-ui floating" {
close = [
"<ESC>"
"q"
];
};
}) "Keys to trigger actions in elements."; }) "Keys to trigger actions in elements.";
}; };
@ -121,53 +129,52 @@ in
expanded = helpers.defaultNullOpts.mkStr "" ""; expanded = helpers.defaultNullOpts.mkStr "" "";
}; };
layouts = helpers.defaultNullOpts.mkNullable (types.listOf layoutOption) '' layouts = helpers.defaultNullOpts.mkListOf layoutOption [
```nix {
[ elements = [
{ {
elements = [ id = "scopes";
{ size = 0.25;
id = "scopes";
size = 0.25;
}
{
id = "breakpoints";
size = 0.25;
}
{
id = "stacks";
size = 0.25;
}
{
id = "watches";
size = 0.25;
}
];
position = "left";
size = 40;
} }
{ {
elements = [ id = "breakpoints";
{ size = 0.25;
id = "repl"; }
size = 0.5; {
} id = "stacks";
{ size = 0.25;
id = "console"; }
size = 0.5; {
} id = "watches";
]; size = 0.25;
position = "bottom";
size = 10;
} }
]; ];
``` position = "left";
'' "List of layouts for dap-ui."; size = 40;
}
{
elements = [
{
id = "repl";
size = 0.5;
}
{
id = "console";
size = 0.5;
}
];
position = "bottom";
size = 10;
}
] "List of layouts for dap-ui.";
mappings = helpers.mkNullOrOption (types.submodule { mappings = helpers.mkNullOrOption (types.submodule {
options = mkKeymapOptions "dap-ui" { options = mkKeymapOptions "dap-ui" {
edit = "e"; edit = "e";
expand = ''["<CR>" "<2-LeftMouse>"]''; expand = [
"<CR>"
"<2-LeftMouse>"
];
open = "o"; open = "o";
remove = "d"; remove = "d";
repl = "r"; repl = "r";