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
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.
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:
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.