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 nome nuovo, quindi dovrete riattivarlo). Ho anche rimosso l’attributo border da ogni pulsante per prevenire problemi con il nuovo tema predefinito, ma sospettavo che ciò potesse avere conseguenze indesiderate; è un’opzione che potete disattivare se lo desiderate. Se notate qualcosa di non intenzionale, per favore fatemelo sapere!
