Piccolo aggiornamento qui per correggere problemi imminenti una volta che il nuovo tema predefinito! Anche alcuni miglioramenti/aggiunte minori
Per chiunque fosse devastato dal fatto che Is_Cursor_Active non sia mai stato ripristinato dopo la rimozione del vecchio tema, siete fortunati perché funziona di nuovo (ma ha un nuovo nome, quindi dovrete riattivarlo). Ho anche rimosso l’attributo border da ogni pulsante per prevenire problemi con il nuovo tema predefinito, ma sospettavo che potesse avere conseguenze indesiderate; è un’opzione che potete disattivare se lo desiderate. Se notate qualcosa di inatteso, per favore fatemelo sapere!
Intendo rimuovere questa opzione una volta che sarà stabile, ma per ora è qui.
Per ora è tutto! Come sempre, fatemi sapere se avete suggerimenti o preoccupazioni. 