Bem, estou no Windows, mas às vezes tenho o mesmo problema. A solução é redimensionar a janela com o mouse (clique e arraste o canto inferior), clique em maximizar e, em seguida, se você redimensionar a janela novamente, ela deverá redimensionar para o tamanho que estava antes de maximizá-la.