bugfix: workers panel now always shows, even if no editors are open