From 5b94f8c4a7107c206c36f873930c2fbfd74eea35 Mon Sep 17 00:00:00 2001 From: Kim Santiago <31145923+kisantia@users.noreply.github.com> Date: Thu, 22 Aug 2019 11:37:47 -0700 Subject: [PATCH] add title to schema compare differences table (#6834) --- extensions/schema-compare/src/schemaCompareMainWindow.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extensions/schema-compare/src/schemaCompareMainWindow.ts b/extensions/schema-compare/src/schemaCompareMainWindow.ts index 654ff90194..80def1cce2 100644 --- a/extensions/schema-compare/src/schemaCompareMainWindow.ts +++ b/extensions/schema-compare/src/schemaCompareMainWindow.ts @@ -102,7 +102,8 @@ export class SchemaCompareMainWindow { this.editor.registerContent(async view => { this.differencesTable = view.modelBuilder.table().withProperties({ data: [], - height: 300 + height: 300, + title: localize('schemaCompare.differencesTableTitle', "Comparison between Source and Target") }).component(); this.diffEditor = view.modelBuilder.diffeditor().withProperties({