I'm a very new newbie with a Pro Trinket and I'm trying to find what I need to get started in the web editor. I don't see the Pro Trinket in the drop-down menu where it says "Select Board or Port". Am I supposed to select a different one? If so, which?
The Pro Trinket is not supported by the Arduino Web Editor. Please use the standard Arduino IDE, which you can download for free here: