Honestly, I don't think so - I think that's quite a rare thing to want to do, and given how much of a premium the pins are I don't think I could justify it (if I had a free pin, there's a little bit more IO I could bring out!).
However, I could just ditch the diode and rename the pin USB to avoid any confusion. Makes it simpler, and you then get the full voltage right out. It's not like the diode will help with any batteries plugged in that were less than 4.7v anyway.
... but actually most USB wall supplies give you ~5.5v to allow for voltage drop, so the diode might work in your favour there.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Honestly, I don't think so - I think that's quite a rare thing to want to do, and given how much of a premium the pins are I don't think I could justify it (if I had a free pin, there's a little bit more IO I could bring out!).
However, I could just ditch the diode and rename the pin
USB
to avoid any confusion. Makes it simpler, and you then get the full voltage right out. It's not like the diode will help with any batteries plugged in that were less than 4.7v anyway.... but actually most USB wall supplies give you ~5.5v to allow for voltage drop, so the diode might work in your favour there.