{ empty = { plugins.dap-ui.enable = true; }; default = { plugins.dap-ui = { enable = true; settings = { controls = { element = "repl"; enabled = true; icons = { disconnect = ""; pause = ""; play = ""; run_last = ""; step_back = ""; step_into = ""; step_out = ""; step_over = ""; terminate = ""; }; }; element_mappings = { }; expand_lines = true; floating = { border = "single"; mappings = { close = [ "q" "" ]; }; }; force_buffers = true; icons = { collapsed = ""; current_frame = ""; expanded = ""; }; layouts = [ { elements = [ { 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 = "repl"; size = 0.5; } { id = "console"; size = 0.5; } ]; position = "bottom"; size = 10; } ]; mappings = { edit = "e"; expand = [ "" "<2-LeftMouse>" ]; open = "o"; remove = "d"; repl = "r"; toggle = "t"; }; render = { indent = 1; max_value_lines = 100; }; }; }; }; }