This is my first day using Platform IO and I've got a basic blink project up and running on ESP8266. So far so good.
I can't figure out though how to open header files in the IDE. For example, if I
#include <Arduino.h> then everything builds fine, but when I use cmd-t (on Mac) typing "Arduino.h" it doesn't show the header. Obviously it was found at build time.