Or should I install this one instead? 

Seems that the installed VMicro is not found in the extension manager. Or is it because the trail has ended?

Ok. Could that be the reason that   "arduino_event_t" is not reconized in a library file (*.h)... even after importing #include <Arduino.h> within a ESP32 dev Module?

See attachment

That's right. the tool bar and vMicro menu show which ide and board is selected for the current project.

The IDE Locations dialog is unrelated to any specific project or build. It simply allows one or more IDE's to be registered along with their respective locations/cores etc. (Leaving options empty is usually the best because it means the defaults are used. Arduino 1x is the only one that needs an IDE path to be set manually)

Make sense?

it's important to say if this is intellisense and/or compilation issue.

Take this function for example in custom library file


#if CONFIG_ESP_HOSTED_ENABLED
#error "WiFiProv is only supported in SoCs with native Wi-Fi support"
#endif

#include <WiFiProv.h>
#include <WiFi.h>
#include "WiFiGeneric.h"

// #define USE_SOFT_AP // Uncomment if you want to enforce using the Soft AP method instead of BLE
const char* pop = "abcd1234";           // Proof of possession - otherwise called a PIN - string provided by the device, entered by the user in the phone app
const char* service_name = "PROV_123";  // Name of your device (the Espressif apps expects by default device name starting with "Prov_")
const char* service_key = NULL;         // Password used for SofAP method (NULL = no password needed)
bool reset_provisioned = true;          // When true the library will automatically delete previously provisioned data.

void getProtocol() {
    esp_err_t err;
    //uint8_t getprotocol;
    //err = esp_wifi_get_protocol(WIFI_IF_STA, &getprotocol);
    uint16_t protocol_bitmap = 0;
    esp_err_t err2 = esp_wifi_get_protocol(WIFI_IF_STA, (uint8_t*)&protocol_bitmap);
    if (err != ESP_OK) {
        Serial.println("Could not get protocol!");
        //log_e("Could not get protocol! %d", err);
    }
    if (getprotocol & WIFI_PROTOCOL_11N) {
        Serial.println("WiFi_Protocol_11n");
    }
    else
    {
        Serial.println("try to set WiFi_Protocol_11n");
        setProtocol();
    }
    if (getprotocol & WIFI_PROTOCOL_11G) {
        Serial.println("WiFi_Protocol_11g");
    }
    if (getprotocol & WIFI_PROTOCOL_11B) {
        Serial.println("WiFi_Protocol_11b");
    }
}

What's shown in tools options is usually the last board physically selected from the toolbar/vmicro menu. It's used for new projects.

The toolbar and vMicro menu allow you to set the board for a project. that is then saved to the project. so with multiple projects open in a solution they can each have their own board selection.