especularei que isso foi causado por um suporte do gerenciador de janelas reservando espaço na borda superior da tela:
O objetivo do struts é reservar espaço nas bordas do Área de Trabalho. Isso é muito útil para uma área de encaixe, uma barra de tarefas ou um painel, por exemplo. O gerenciador de janelas deve levar essa área reservada conta ao restringir as posições das janelas - janelas maximizadas, exemplo, não deve cobrir essa área.
tint2, que você mencionou ter instalado, fará exatamente isso de acordo com sua geometria do painel e strut_policy
opções de configuração.