On Thu, 9 Jul 2020 at 20:51, Rafał Mużyło galtgendo@o2.pl wrote:
On Thu, Jul 09, 2020 at 05:31:34PM +0430, Henri Verbeet wrote:
On Thu, 9 Jul 2020 at 16:12, Gabriel Ivăncescu gabrielopcode@gmail.com wrote:
On 08/07/2020 22:36, Rafał Mużyło wrote:
AFAIK, Windows 10 supports multiple desktops / workspaces. Did you try to see what happens in Windows 10 when you switch desktops?
Potentially relevant: https://devblogs.microsoft.com/oldnewthing/20200302-00/?p=103507
Kind of interesting, yet likely orthogonal, as all the time I was (as explicitly noted in the previous post) talking about *X11* virtual desktops.
It was clear that you were talking about X11 virtual desktops, yes. I think ideally we'd map between the two concepts somehow, but the reason I thought that post was potentially relevant was that it describes some of the considerations behind the Windows 10 implementation of virtual desktops.