Idea for ambiguous debug step selection without "Step into targets"

[sim642]

While DAP doesn't allow arbitrary user choice reverse requests, LSP seems to. Since GobPie is both LSP and DAP, we could maybe abuse this to do LSP user choices for answering DAP requests like this:

sequenceDiagram
    participant VSCode
    box Goblint
        participant DAP
        participant LSP
    end
    VSCode->>+DAP: Next request
    LSP->>+VSCode: ShowMessage reverse request with actions
    VSCode-->>-LSP: ShowMessage response with selected action
    DAP-->>-VSCode: Next response

Loading

This is just an idea though. It could very well be that this sort of abuse doesn't work in practice, e.g. because VSCode doesn't allow LSP user prompts in the middle of DAP sessions or whatnot.