Marco Caresia ha scritto:
Penso di sì: hai installato qualche beta? A questo punto basta che in gestione estensioni reinstalli la mia estensione.
Mi pare proprio di aver installato -prima che il problema si verificasse- soltanto gli aggiornamenti, che mi venivano proposti da Ubuntu.
Comunque, procederò alla reinstallazione. Grazie ancora, Attilio --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
