| commit | e8f4f1facbae12cea3f1270661bc151fb69e40ea | [log] [tgz] |
|---|---|---|
| author | Eric Lawrence <[email protected]> | Tue Apr 03 20:34:04 2018 |
| committer | Commit Bot <[email protected]> | Tue Apr 03 20:34:04 2018 |
| tree | c359b0b5b9248cf0aa9e3a7705be24481c6ad0dd | |
| parent | 9ede50da0debb32cdbb67a941dc3013e7fd88890 [diff] |
Simplify title of DevTools window By shortening "Developer Tools" to "DevTools", we make it easier for a user to distinguish multiple instances in the Windows task bar, and better align to DevTools branding. Bug: 729910 Change-Id: I961cdd9890ca3569d67cf6ed98697f5dbed79086 Reviewed-on: https://chromium-review.googlesource.com/949781 Reviewed-by: Dmitry Gozman <[email protected]> Commit-Queue: Eric Lawrence <[email protected]> Cr-Original-Commit-Position: refs/heads/master@{#547813} Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src Cr-Mirrored-Commit: 52f028e65c17c841ce6ed6b15b89133f064e5300
diff --git a/front_end/host/InspectorFrontendHost.js b/front_end/host/InspectorFrontendHost.js index e458741..22139d7 100644 --- a/front_end/host/InspectorFrontendHost.js +++ b/front_end/host/InspectorFrontendHost.js
@@ -151,7 +151,7 @@ * @suppressGlobalPropertiesCheck */ inspectedURLChanged(url) { - document.title = Common.UIString('Developer Tools - %s', url); + document.title = Common.UIString('DevTools - %s', url.replace(/^https?:\/\//, '')); } /**