Closed msujew closed 4 years ago
When exiting docdown and restarting it, sometimes no workspace item is selected for display.
When exiting docdown and restarting it, sometimes no workspace item is selected for display.