From 2d5c33e77e047b72d47b7bb5f53459e09b525b2d Mon Sep 17 00:00:00 2001 From: Yining Wang Date: Tue, 9 Nov 2021 13:34:26 -0600 Subject: [PATCH] Rename "trace-viewer" to "trace Viewer" fixes #355 Signed-off-by: Yining Wang --- .../viewer-prototype/src/browser/trace-server-preference.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/theia-extensions/viewer-prototype/src/browser/trace-server-preference.ts b/theia-extensions/viewer-prototype/src/browser/trace-server-preference.ts index c3031215d..af9cf3ba1 100644 --- a/theia-extensions/viewer-prototype/src/browser/trace-server-preference.ts +++ b/theia-extensions/viewer-prototype/src/browser/trace-server-preference.ts @@ -1,8 +1,8 @@ import { PreferenceSchema, PreferenceProxy, PreferenceScope } from '@theia/core/lib/browser'; import { TRACE_SERVER_DEFAULT_PORT } from '../common/trace-server-url-provider'; -export const TRACE_PATH = 'trace-viewer.path'; -export const TRACE_PORT = 'trace-viewer.port'; +export const TRACE_PATH = 'trace Viewer.path'; +export const TRACE_PORT = 'trace Viewer.port'; export const ServerSchema: PreferenceSchema = { scope: PreferenceScope.Folder,