Instalar o arandr (GUI for randr) resolveu completamente o meu problema! :)
Eu uso o Linux Mint 18 em um Lenovo ThinkPad T420, i5, 8 GB de RAM e SSD de 256 GB, e Intel HD Graphics 3000.
Eu experimentei esse problema no elementar OS Loki (que é baseado no Ubuntu 16.04 LTS), e eu segui uma solução parcial para o Ubuntu 11.04, então eu acho que esse é definitivamente um tipo de problema persistente no Ubuntu, e como sabemos Linux Mint está intimamente relacionado ao Ubuntu.
Então, basicamente, eu uso um monitor externo que posiciono acima da tela do meu laptop, e é claro que naturalmente faço isso para que quando eu mover meu mouse para o limite superior da tela embutida do meu laptop, ele entre o monitor externo. Este monitor externo é conectado através de um cabo DVI que é então conectado a um conversor DisplayPort para que eu possa usá-lo com meu laptop.
A tela externa é um grande monitor widescreen 16:10 e meu laptop é um humilde 16: 9 e muito pequeno em tamanho, então o espaço do monitor é grande o suficiente para que eu possa posicionar meu laptop no meio e há espaço em ambos os lados da tela para o monitor externo.
Bem, a coisa é que o monitor externo, por algum motivo, trata as bordas da tela embutida como uma espécie de parede invisível. Levar as janelas do monitor externo e tentar maximizá-las só aumentará para a área que não está "coberta" pela tela do laptop.Aqui está uma ilustração no GIMP porque o FOSS é ótimo. :)
Então,basicamente,seeuarrastarumajanelaparaqualquerlugardentrodoretângulovermelhoeclicaremmaximizar,elepreencheráoespaçoazul,emvezdoretângulovermelhointeiro.
Paraaliviaresteproblema,vocêpodeconfiguraromonitormaiorcomoomonitorprincipal,masnãoquerofazerissoporqueelemoverámeuspainéisemeudockparaatelaqueémenosacessívelparamim(omonitorexternoémeuAtela"output" e meu laptop é minha tela de "entrada", então tento manter o mouse na tela do meu laptop o máximo possível enquanto olho para algo no monitor externo.
Como alternativa, posso mover a tela do laptop para a esquerda ou para a direita (não acima ou receberei o mesmo problema). Isso também não é uma solução adequada para mim, mas eu menciono isso no caso de alguém ter o mesmo problema. Você também pode arrastar as bordas das janelas no monitor externo para preencher o espaço preto na ilustração, mas isso é menos do que ideal.
Eu quero, de alguma forma, corrigir esse bug, ou alguém me dizer como duplicar meus painéis do GNOME e meu Docky no meu monitor embutido, enquanto o monitor externo é rotulado como meu monitor "principal".
A mudança de DisplayPort para VGA não resolveu o problema.
De alguma forma, eu não tive esse problema em uma instalação relativamente nova do Mint no início, mas eu não estava usando o Docky, apenas os painéis do GNOME. (eOS sai da caixa com Plank, que é semelhante ao Docky). Desativar o Docky e ativar apenas os painéis do GNOME não resolveu o problema.
Instalar o arandr (GUI for randr) resolveu completamente o meu problema! :)