Update src/DevTools/DevTools.js

src/DevTools/DevTools.js

@@ -120,12 +120,12 @@ export default class DevTools extends Emitter {
     if (name === 'settings') {
       tab.append({
         id: name,
-        title: name,
+        title: tool.displayName || name,
       })
     } else {
       tab.insert(tab.length - 1, {
         id: name,
-        title: name,
+        title: tool.displayName || name,
       })
     }