From f308771669d333b253e538f3294a489e77aaed1f Mon Sep 17 00:00:00 2001 From: kpge Date: Wed, 3 Jul 2019 15:40:58 +0800 Subject: [PATCH] add 'title' to search result node Signed-off-by: kpge --- .../src/browser/search-in-workspace-result-tree-widget.tsx | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/packages/search-in-workspace/src/browser/search-in-workspace-result-tree-widget.tsx b/packages/search-in-workspace/src/browser/search-in-workspace-result-tree-widget.tsx index c0dfa94a9d5d6..55c98de02a285 100644 --- a/packages/search-in-workspace/src/browser/search-in-workspace-result-tree-widget.tsx +++ b/packages/search-in-workspace/src/browser/search-in-workspace-result-tree-widget.tsx @@ -571,9 +571,12 @@ export class SearchInWorkspaceResultTreeWidget extends TreeWidget { protected renderFileNode(node: SearchInWorkspaceFileNode): React.ReactNode { const icon = node.icon; + const fileUri = new URI(node.fileUri); + const path = fileUri.path; return
-
+
{node.name} @@ -593,7 +596,7 @@ export class SearchInWorkspaceResultTreeWidget extends TreeWidget { protected renderResultLineNode(node: SearchInWorkspaceResultLineNode): React.ReactNode { const prefix = node.character > 26 ? '... ' : ''; - return
+ return
{this.searchInWorkspacePreferences['search.lineNumbers'] && {node.line}} {prefix + node.lineText.substr(0, node.character - 1).substr(-25)}