OK, disabled those… still no dice…
There is no ‘compile’ button in the status bar.
BTW: my code file compiles in the Arduino IDE with the DOIT ESP32 DEVKIT V1 board without errors.