Amélioration gestion de la souris pour débugage sous linux et switch entre fenêtres