有没有办法在 Gnome Shell 扩展代码中使用 setTimeout？

Question

我正在尝试编写一个 gnome-shell 扩展。它使用 Javascript。但是当我想使用setTimeout()它时，一个主要问题在日志中告诉我：ReferenceError: setTimeout is not defined，我要在这里达到的是我想使用以非阻塞方式调用一个函数setTimeout()。也许你们中有人以前遇到过这个问题，或者你们可能有一个解决方案/替代方案给我。

Answer 1

只是为了在答案中捕捉到这一点：

const Mainloop = imports.mainloop;

...

Mainloop.timeout_add(1000, () => log('one second later!'));

正如所见这里。