Wow, VirtueDesktops has come a long way since the last time I used
it. I’ve made the switch from the older Desktop Manager, and aside from
not having the desktop pager available in the menu bar I am having no
trouble adjusting. Moving windows between desktops works as advertised.