HP 4200 User Manual page 51

Printer Drivers List the printer drivers for the operating system specified above, or lists all
printer drivers if "All Operating Systems" is chosen.
Each driver can have only one name (the same as in the .ini file) regardless of
the number or type of printers associated with it.
If a driver displayed in blue is preceded with a "~" (tilde), that driver has been
disabled by either the user or the system (in the case that it failed to initialize
during its installation). When a driver is disabled, it can be associated with a
printer but will not be downloaded to a client PC for point and print. (The user
will be prompted to install a driver locally.)
To enable a driver:
If the driver was disabled by the user, click
can now be downloaded to a client's PC for point and print.
If the driver had been disabled by the system due to a failure during
driver initialization, the user cannot enable this driver until it is
successfully initialized. (A failure might be attributed to file corruption.)
To initialize the driver, try
If the driver persistently fails to initialize then the printer created can
still be used, but when clients connect to that printer they will be
prompted to install the driver files for that driver locally. The end user
will be required to provide driver files for a driver whose name matches
the name of the driver associated with the printer on the appliance.
installing the printer again.
. The driver