Re: [Notion-devel] Allowing removal of the last workspace

[Philipp H. <ph...@ph...>]

I've pushed both changes as both seem reasonable to me. Without the first one, 
one could with multiple screens still close all workspaces and then kill all 
screens, rendering Notion unusable.

Cheers,
Philipp