7d6d11f8d8
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).