| Index: third_party/WebKit/Source/devtools/front_end/sources/FilteredUISourceCodeListProvider.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/FilteredUISourceCodeListProvider.js b/third_party/WebKit/Source/devtools/front_end/sources/FilteredUISourceCodeListProvider.js
|
| index 038e8d8a461334d71f13ba90aaec2f4e0c49c20d..e16ddcdb2d6d45f9477adf9391ee7c6f4784d177 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/FilteredUISourceCodeListProvider.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/FilteredUISourceCodeListProvider.js
|
| @@ -122,6 +122,8 @@ Sources.FilteredUISourceCodeListProvider = class extends QuickOpen.FilteredListW
|
| new Sources.FilePathScoreFunction(query).score(fullDisplayName, indexes);
|
| var fileNameIndex = fullDisplayName.lastIndexOf('/');
|
|
|
| + titleElement.classList.add('monospace');
|
| + subtitleElement.classList.add('monospace');
|
| titleElement.textContent = uiSourceCode.displayName() + (this._queryLineNumberAndColumnNumber || '');
|
| this._renderSubtitleElement(subtitleElement, fullDisplayName);
|
| subtitleElement.title = fullDisplayName;
|
|
|