(scope: Scope)
| 47 | return 'disabled'; |
| 48 | }, |
| 49 | callback(scope: Scope) { |
| 50 | scope.workspace!.undo(); |
| 51 | }, |
| 52 | scopeType: ContextMenuRegistry.ScopeType.WORKSPACE, |
| 53 | id: 'undoWorkspace', |
| 54 | weight: 1, |
nothing calls this directly
no test coverage detected