Наконец-то я приделал к ion3 то, что давно хотел: теперь, во-первых, в строке состояния показывается имя текущего десктопа, а во-вторых, по Win-B можно быстро переключиться на десктоп, на котором только что были.