Acabei de adicionar um segundo monitor à ESQUERDA do meu laptop, mantendo a tela do meu laptop como principal. O problema é que o canto quente do Gnome que muda para atividades agora está no meio, dificultando o acesso. Eu quero movê-lo para o canto superior direito ou inferior direito. Eu descobri que muito do Gnome é alimentado por js, e esse arquivo:
/usr/share/gnome-shell/js/ui/panel.js
Tem:
this._hotCorner = new Layout.HotCorner();
container.add_actor(this._hotCorner.actor);
Mas isso apenas ativa e desativa, não consigo encontrar uma maneira de movê-lo.
No meu Ubuntu atual 14.04 , Gnome 3.10.4 , os cantos quentes são criados no arquivo /usr/share/gnome-shell/js/ui/layout.js .
Procure por _updateHotCorners: - é uma função que calcula os cantos quentes. No meu caso eu queria habilitar o hot corner no monitor externo também, então eu apenas comentei os dois haveTopLeftCorner = false no loop for interno.
Em seguida, apenas Alt+F2 e r para reiniciar o Gnome Shell.
Isso lhe dá algum controle, mas infelizmente não manipula vários monitores atualmente muito bem. Eu adicionei uma solicitação de recurso de problema. link