Dimensiones reales de un componente gráfico (JFrame)

[K-YreX]

Estaba haciendo unas ventanas en Java cuando me dio por comprobar si realmente el tamaño de éstas se correspondía con el tamaño que había definido en el código fuente y he visto que no es así, no coinciden las medidas.
He estado leyendo sobre las dimensiones del JFrame (heredadas de Window), las dimensiones del Layout (que he probado también a usar diferentes tipos incluso null), los métodos set y get de height, width, minimumSize, preferredSize, bounds,... y todo lo que he ido encontrando por el camino; y no consigo unas conclusiones.

Os dejo un pequeño código de lo último que he probado y los resultados obtenidos:

Código (java) [Seleccionar] Expandir


public class App {
  private Ventana miVentana;

  public static void main(String[] args){
    miVentana = new Ventana();
    miVentana.setSize(200, 200);
    miVentana.setVisible(true);
  }
}

class Ventana extends JFrame {
  public Ventana(){
    getContentPane().setLayout(null);
  }
}

Establezco el layout a null para evitar que el layout pueda influir en las medidas de la ventana. Le doy un tamaño de 200 x 200 (que no choca con el tamaño mínimo de la ventana) pero al mostrar la ventana esta mide:

• 234 x 242 (contando la barra de título)
  
• 232 x 203 (contando el espacio interior de la ventana. Sin contar barra de título ni bordes)
  
  He probado también a usar el método setBounds() para establecer la posición de la esquina superior izquierda en las coordenadas (0,0), es decir, que la ventana debería aparecer pegada también a la esquina superior izquierda, pero realmente tampoco es así. En el eje X se desplaza 8 píxeles a la derecha, es decir, que la esquina superior izquierda de la ventana aparece en las coordenadas (8,0).
  
  Código (java) [Seleccionar] Expandir
  
// Sustituir el setSize(200, 200) del codigo anterior por:
miVentana.setBounds(0, 0, 200, 200);
  
  Sé que es un tema muy quisquilloso pero no sé de qué sirve poder establecer tamaños a las ventanas si luego no van a ser reales...

[EdePC]

Que raro, yo lo he compilado en Java8, y revisado sus pixeles con AHK WinSpy, Microsoft Spy++, Nirsoft WinExplorer y HxD Property Edit y me dan 200x200:

https://i.ibb.co/26B77Tz/200x200.png


Aunque me tiene algo consternado eso de ClientArea, ClientRect y WindowRect ... voy a buscar info, supongo que tendrá que ver con la densidad de pixeles o algo, porque deberían de ser iguales digo yo.

[K-YreX]

Yo lo estaba ejecutando con Java 11 y desde Eclipse.
He probado a ejecutarlo directamente desde la consola y con Java 8 y el tamaño se reduce por debajo de 200.
No sabía yo que iba a haber tantos misterios en una cosa como esta.