Lista de deseos: encabezados de tabla fijos

[cocococosti (Constanza Abarca)]

Esto sería increíble Yo también lucho por recordar las etiquetas de encabezado con resultados de consulta grandes.

Por ahora, es posible hacer que el encabezado sea fijo a través de CSS. Simplemente agregue lo siguiente a un componente de tema:

div.query-results section {
    overflow-y: auto;
    height: 1000px;
}

div.query-results thead th {
    position: sticky;
    top: 0;
    color: var(--primary);
    background: var(--primary-low);
}