deal with random Electron API change :(
deal with random Electron API change :(

darkmoon32/EspruinoWebIDE,espruino/EspruinoWebIDE,espruino/EspruinoWebIDE,darkmoon32/EspruinoWebIDE,espruino/EspruinoWebIDE,darkmoon32/EspruinoWebIDE