Can't select custom programmer from Digistump board package

[barbudor]

vscode details:

• Version: 1.40.2 (system setup)
• Commit: f359dd69833dd8800b54d458f6d37ab7c78df520
• Date: 2019-11-25T14:54:45.096Z
• Electron: 6.1.5
• Chrome: 76.0.3809.146
• Node.js: 12.4.0
• V8: 7.6.303.31-electron.0
• OS: Windows_NT x64 10.0.18363

other details:

• vscode-arduino: v0.2.28
• arduino ide: 1.8.10
• custom board package: http://digistump.com/package_digistump_index.json from https://github.com/digistump/DigistumpArduino
• board : Digispark (Default - 16.5MHz)

Step 1 - Setup In Arduino IDE, import the board package http://digistump.com/package_digistump_index.json

Step 2 - Select board and programmer in Arduino IDE Then in Tools -> board, from Digistump AVER Boards, select Digispark (Default 16.5MHz) Then in Tools -> Programmer, choose "micronucleus" custom programmer

Step 3 - Try to do the same in vscode In VSCode, shift-ctrl-P -> Arduino: Change Board Type -> select Digispark (Default 16.5MHz)

Then when trying to select the custom programmer, the list is limited only to default programmers:

Additional info, the boards.txt provided by Digistump package include the following board definition:

digispark-tiny.upload.using=micronucleusprog
digispark-tiny.upload.protocol=usb
digispark-tiny.upload.tool=micronucleus
digispark-tiny.upload.maximum_size=6012
digispark-tiny.build.mcu=attiny85
digispark-tiny.build.f_cpu=16500000L
digispark-tiny.build.board=AVR_DIGISPARK
digispark-tiny.build.core=tiny
digispark-tiny.build.variant=digispark
digispark-tiny.upload.wait_for_upload_port = false
digispark-tiny.upload.use_1200bps_touch = false
digispark-tiny.upload.disable_flushing = false
digispark-tiny.bootloader.low_fuses=0xf1
digispark-tiny.bootloader.high_fuses=0x5f
digispark-tiny.bootloader.extended_fuses=0xfe

As I'm not using vscode-arduino since a long time, I may have missed something. Thanks for your feedback.

[barbudor]

dupplicate of #898