Digispark not appearing on Programmer menu

[ajablu]

I've just started working with the Digispark Pro and have gone through the setup steps. Everything seems to work, but Digispark Pro doesn't appear on the Programmer menu (nor Digispark). I've uploaded a few sample scripts and they seem to work, but I fear I something may be wrong. Here's the steps I followed.

- Download the nightly arduino build from http://arduino.cc/download.php?f=/arduino-nightly-windows.zip (version 1.6, also tried 1.5.8 )
- Downloaded the addons from http://sourceforge.net/projects/digistump/files/Digistump1.5Addons-v092.zip/download
- Unzipped and copied the DigiXAddOns/Hardware folder to C:\Users\John\Documents\Arduino
- Installed the 64 bit drivers from the Digistump Windows Drivers folder
- Opened the Arduino IDE from the unzipped arduino nightly build
- Selected Tools/Board/Digispark Pro
- Tools/Programmer contains AVR ISP, AVRISP mkII, USBtinyISP, ArduinoISP, USBasp, Parallel Programmer, Arduino as ISP and Micronucleus

The programmer had AVRISP mkII selected soI left it there and was able to upload a sample script successfully. I've previously used the original Digispark with Arduino 1.0.4 and it does have Digispark on the programmer menu.

I've uninstalled and reinstalled the Arduino IDE to no avail. Any ideas what I need to do to make Digispark Pro appear on the Programmer menu?

Thanks,
John

[digi_guy]

I'm not 100% but I don't think the programmer selection matters.  I've been able to upload and run a few sketches (except the usb ones) by leaving as  AVRISP mkII.

[ajablu]

Thank you for your reply. It seems odd that it doesn't appear for the pro, but does for the original, but I will go blithely forward with it as is.