Если вы не получите более простой ответ, я думаю, вам может понадобиться макрос для этого, чтобы сработали две команды.Используя расширение макроса, например multi-command , установите его в настройках:
{
"command": "multiCommand.nextError",
"sequence": [
"editor.action.marker.nextInFiles",
"closeMarkersNavigation",
]
},
, а затем в keybindings.json:
{
"key": "F8",
"command": "multiCommand.nextError",
"when": "editorFocus && !editorReadonly"
},
{
"key": "f8",
"command": "-editor.action.marker.nextInFiles",
"when": "editorFocus && !editorReadonly"
}
Я быстро получаюмигает, когда закрывается следующая marker
, так что это не оптимально, но может быть лучшим, что вы можете сделать.