e07be1c9bd
This editor setting is queried once every 3 seconds, as it is used to check whether devices have been (dis)connected for one-click deploy. This method may be called early on depending on initialization order, which has led to occasional error messages when exporting a project. The method now returns early if EditorSettings isn't ready yet (it will be called again soon after anyway). (cherry picked from commit 7d6d11f8d8a6c39d8077fe80937e5c000d1f832c)