Risposte:
I temi sono memorizzati in ~/Library/Application Support/com.operasoftware.Opera/themes/
. I temi predefiniti preinstallati non sono accessibili dall'utente. (Sono confezionati in un formato speciale — pak — a cui è difficile accedere direttamente.) Tuttavia, sono tutti disponibili sul sito dei temi di Opera . Se lo reinstalli da lì, verrà visualizzato nella suddetta directory.
Ora ho caricato i temi che ho creato su addons.opera.com:
https://addons.opera.com/en/search/?developer=demonstro
Nel prossimo futuro cariceremo tutti i temi predefiniti, vecchi e nuovi. Grazie per aver segnalato questo problema. Siamo così imbarazzati che non è stato fatto fin dall'inizio.