Tentativi falliti.

Se cerco di aggiungere una porta stampante mi impone la scelta fra 4 tipi predefiniti, non so quale scegliere per settarla in modo che reindirizzi sul PDF Creator.

Il riavvio dello spooler non produce alcuna modifica.

Più che altro vorrei capire cosa è successo, visto che il PDF Creator era installato e funzionante, e all'improvviso è sparito tra le stampanti (era pure la predefinita!) .