Beste Johan,
Ondanks dat het tegen de filosofie van GNOME ontwerp ingaat zal ik je vraag behandelen. Het wisselen van toepassingen mag volgens die filosofie niet afleiden tijdens het gebruik van een toepassing (dus niet zichtbaar zijn en ook nog ruimte innemen).
Er is een extensie voor GNOME die dit regelt.
Open een terminal (SUPER term ENTER)
en voer de volgende commando's uit. Letterlijk kopiëren (CTRL+C) en plakken (CTRL+SHIFT+V) is het beste.
sudo apt-get install --yes gnome-shell-extension-dashtodock gnome-shell-extension-manager
Dan meld je je af uit GNOME (SUPER afmel ENTER) en meld je weer aan.
Dan open je de gnome-extension-manager (SUPER uitbrei ENTER) (Het groene puzzelstukje)
Je schakelt bovenin het gebruik van extensies in en onder "Ingebouwd" schakel je Dash to Dock in.
Standaard toont hij nu het Dash als je er met de muis naar toe gaat.
Ga naar de instellingen van Dash to Dock om 'slim verbergen' uit te schakelen om hem permanent te tonen.
Succes,
Steven Speek