From 517c8b46c3ff28b13af6cae73b1a3ac1497c7420 Mon Sep 17 00:00:00 2001 From: Johannes Faltermeier Date: Fri, 30 Aug 2024 06:47:53 +0200 Subject: [PATCH] Add collaboration getting started header #383 * add missing space --- theia-extensions/product/src/browser/branding-util.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/theia-extensions/product/src/browser/branding-util.tsx b/theia-extensions/product/src/browser/branding-util.tsx index 2c1484a75..e13586ba7 100644 --- a/theia-extensions/product/src/browser/branding-util.tsx +++ b/theia-extensions/product/src/browser/branding-util.tsx @@ -130,8 +130,8 @@ export function renderCollaboration(windowService: WindowService): React.ReactNo
The IDE features a built-in collaboration feature. You can share your workspace with others and work together in real-time by clicking on the Collaborate item in the status bar. - The collaboration feature is powered by the - project + The collaboration feature is powered by + the project and uses their public server infrastructure.
;