Skip to content

workbench.action.next|previousEditor does not work across empty groups #157178

Closed
@ngmariusz

Description

workbench.action.nextEditor and workbench.action.previousEditor works only if next/previous editors group is not empty what is possible (and requested) when workbench.editor.closeEmptyGroups is set to false

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

Labels

verifiedVerification succeededworkbench-editorsManaging of editor widgets in workbench window

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions