Visto che, come ho detto, le decorazioni normalmente sono quelle "native" del S.O./desktop environment, sarei più propenso per la seconda.
si ti confermo che ad esempio su ubuntu non ci sono problemi.
diciamo che non è una cosa particolarmente grave, però in questi casi che si dovrebbe fare?
nel senso, non è che io ci possa fare granchè