Hi Hannes, Code is on http://smalltalkhub.com/#!/~TorstenBergmann/DesktopManager which points to this article: https://medium.com/@astares/multiple-desktops-for-pharo-5cbc46f3179f which should explain the details and that you can access the desktops using: Desktop manager desktops You can also click "CTRL+D" folowed again by another "CTRL+D" (DesktopManager -> Desktops") to have a custom spotter just for showing/switching the desktops. There is also CTRL + D followed by CTRL + AââââDesktop Addâ CTRL + D followed by CTRL + NââââDesktop Nextâ CTRL + D followed by CTRL + PââââDesktop Previousâ The only downside is that the global shortcut handler catches the "CTRL+D" for DesktopManager but also eats the same key event from the Playground which means the "do it" (which is also CTRL+D" is not working in a Playground anymore when DesktopManager is installed. Have not yet found a suitable solution for this. Contributions/fixes/ideas to solve this are very welcome. Thx T.
Gesendet: Freitag, 25. August 2017 um 14:56 Uhr Von: "H. Hirzel" <hannes.hirzel@gmail.com> An: astares@gmx.de Cc: "Any question about pharo is welcome" <pharo-users@lists.pharo.org> Betreff: Re: [DesktopManager][Question] How do I jump to a particular desktop?
P.S. I just realized that the 'Spotter' opens a desktop if I search for it.
So with some specific naming I can quickly switch desktops this way as well.
On 8/25/17, H. Hirzel <hannes.hirzel@gmail.com> wrote:
Hello
I have loaded your DesktopManager package into Pharo 6/6.1. It is useful as always!
A remark:
If I open a new desktop the desktop is white and not black (New Pharo 'dark' theme). I have to choose the theme manually through the 'Settings' dialog, searching for 'theme' and then reconfirming that I want the 'dark' theme.
A question:
I Squeak I can jump to a particular 'desktop' (actually 'Project' there ) with some code [1] in a workspace (playground) like
(Project named: 'Pillar') enter
Is there a similar construction with the DesktopManager?
To jump to another desktop with a code snipped is useful as the number of Desktops increases. Currently I have 14 and it may increase up to 50.
This also helps to create buttons to jump to a particular desktop.
Thank you for the answer in advance
Hannes Hirzel