From 1d01b3dbc5cb81dbc195af108608ee7f278ad0b7 Mon Sep 17 00:00:00 2001
From: "Cornelius A. Ludmann" <cornelius@gitpod.io>
Date: Fri, 22 Oct 2021 15:37:35 +0000
Subject: [PATCH] [server] Add preferences to choose a desktop IDE

---
 .../dashboard/src/images/golandLogo.svg       |  1 +
 .../dashboard/src/images/intellijIdeaLogo.svg |  1 +
 .../dashboard/src/settings/Preferences.tsx    | 52 +++++++++++++++++++
 components/gitpod-protocol/java/.project      |  2 +-
 components/gitpod-protocol/src/protocol.ts    |  2 +
 5 files changed, 57 insertions(+), 1 deletion(-)
 create mode 100644 components/dashboard/src/images/golandLogo.svg
 create mode 100644 components/dashboard/src/images/intellijIdeaLogo.svg

diff --git a/components/dashboard/src/images/golandLogo.svg b/components/dashboard/src/images/golandLogo.svg
new file mode 100644
index 00000000000000..3640b1d89f2782
--- /dev/null
+++ b/components/dashboard/src/images/golandLogo.svg
@@ -0,0 +1 @@
+<svg height="105" viewBox="0 0 105 105" width="105" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><linearGradient id="a" gradientUnits="userSpaceOnUse" x1="99.03" x2="61.54" y1="59.18" y2="90.91"><stop offset="0" stop-color="#087cfa"/><stop offset=".02" stop-color="#0d7bfa"/><stop offset=".37" stop-color="#5566f9"/><stop offset=".66" stop-color="#8a57f8"/><stop offset=".88" stop-color="#ab4ef7"/><stop offset="1" stop-color="#b74af7"/></linearGradient><linearGradient id="b" x1="37.54" x2="60.33" xlink:href="#a" y1="34.26" y2="8.33"/><linearGradient id="c" gradientUnits="userSpaceOnUse" x1="17.84" x2="87.09" y1="88.36" y2="43.86"><stop offset="0" stop-color="#087cfa"/><stop offset=".1" stop-color="#1598d3"/><stop offset=".22" stop-color="#23b6aa"/><stop offset=".35" stop-color="#2dcc8b"/><stop offset=".46" stop-color="#35dd74"/><stop offset=".57" stop-color="#39e767"/><stop offset=".67" stop-color="#3bea62"/></linearGradient><path d="m89.06 41.63 11.44 25.37-19.58 33.5-12.06-29.28z" fill="url(#a)"/><path d="m68.86 71.22 12.06 29.28-30.34-10.43z" fill="#b74af7"/><path d="m72.13 31.61-6.22-27.11h-34.49l-26.92 41.18 7.79 18.92-7.79 17.27 55.75-47.43z" fill="url(#b)"/><path d="m100.5 24.88-40.25 9.56-55.75 47.43 35.96 18.63 28.4-29.28z" fill="url(#c)"/><path d="m22.5 22.5h60v60h-60z"/><g fill="#fff"><path d="m28.13 71.25h22.5v3.75h-22.5z"/><path d="m26.44 42.81v-.07a12.7 12.7 0 0 1 12.97-12.74 13.62 13.62 0 0 1 9.73 3.39l-3.43 4.14a9.13 9.13 0 0 0 -6.47-2.53c-4 0-7.11 3.5-7.11 7.7v.07c0 4.53 3.11 7.85 7.5 7.85a8.67 8.67 0 0 0 5.12-1.49v-3.56h-5.48v-4.7h10.73v10.74a16.07 16.07 0 0 1 -10.57 3.93c-7.69 0-12.99-5.41-12.99-12.73z"/><path d="m52.3 42.81v-.07a12.79 12.79 0 0 1 13.19-12.74c7.63 0 13.11 5.69 13.11 12.72v.07a12.79 12.79 0 0 1 -13.18 12.8c-7.64-.05-13.12-5.74-13.12-12.78zm20.61 0v-.07a7.51 7.51 0 0 0 -7.49-7.74 7.4 7.4 0 0 0 -7.42 7.67v.07a7.52 7.52 0 0 0 7.5 7.78 7.4 7.4 0 0 0 7.41-7.71z"/></g></svg>
\ No newline at end of file
diff --git a/components/dashboard/src/images/intellijIdeaLogo.svg b/components/dashboard/src/images/intellijIdeaLogo.svg
new file mode 100644
index 00000000000000..04d5d6155d2153
--- /dev/null
+++ b/components/dashboard/src/images/intellijIdeaLogo.svg
@@ -0,0 +1 @@
+<svg height="105" viewBox="0 0 105 105" width="105" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><linearGradient id="a" gradientUnits="userSpaceOnUse" x1="11.16" x2="58.94" y1="59.21" y2="56.78"><stop offset=".09" stop-color="#fc801d"/><stop offset=".23" stop-color="#b07f61"/><stop offset=".41" stop-color="#577db3"/><stop offset=".53" stop-color="#1e7ce6"/><stop offset=".59" stop-color="#087cfa"/></linearGradient><linearGradient id="b" gradientUnits="userSpaceOnUse" x1="89.05" x2="73.12" y1="54.12" y2="6.52"><stop offset="0" stop-color="#fe2857"/><stop offset=".08" stop-color="#cb3979"/><stop offset=".16" stop-color="#9e4997"/><stop offset=".25" stop-color="#7557b2"/><stop offset=".34" stop-color="#5362c8"/><stop offset=".44" stop-color="#386cda"/><stop offset=".54" stop-color="#2373e8"/><stop offset=".66" stop-color="#1478f2"/><stop offset=".79" stop-color="#0b7bf8"/><stop offset="1" stop-color="#087cfa"/></linearGradient><linearGradient id="c" gradientUnits="userSpaceOnUse" x1="18.72" x2="78.8" y1="26.61" y2="125.99"><stop offset="0" stop-color="#fe2857"/><stop offset=".08" stop-color="#fe295f"/><stop offset=".21" stop-color="#ff2d76"/><stop offset=".3" stop-color="#ff318c"/><stop offset=".38" stop-color="#ea3896"/><stop offset=".55" stop-color="#b248ae"/><stop offset=".79" stop-color="#5a63d6"/><stop offset="1" stop-color="#087cfa"/></linearGradient><path d="m19.27 72.21-14.12-11.15 8.31-15.39 12.49 4.18z" fill="url(#a)"/><path d="m100.07 30.09-1.73 55.6-36.98 14.81-20.14-13z" fill="#087cfa"/><path d="m100.07 30.09-18.3 17.85-23.5-28.83 11.6-13.04z" fill="url(#b)"/><path d="m41.22 87.5-29.41 10.63 6.16-21.57 7.98-26.71-21.88-7.32 13.9-38.03 31.42 3.71 32.38 39.73z" fill="url(#c)"/><path d="m22.5 22.5h60v60h-60z"/><g fill="#fff"><path d="m29.98 71.16h22.5v3.75h-22.5z"/><path d="m41.21 34.12v-4.1h-11.19v4.1h3.14v14.16h-3.14v4.1h11.19v-4.1h-3.13v-14.16z"/><path d="m51.94 52.7a8.88 8.88 0 0 1 -4.39-1 10.16 10.16 0 0 1 -2.92-2.36l3.09-3.45a8.86 8.86 0 0 0 1.94 1.64 4 4 0 0 0 2.15.6 2.85 2.85 0 0 0 2.19-.87 4.16 4.16 0 0 0 .8-2.83v-14.43h5v14.65a10.14 10.14 0 0 1 -.55 3.49 6.49 6.49 0 0 1 -4.07 4 9.87 9.87 0 0 1 -3.31.52"/></g></svg>
\ No newline at end of file
diff --git a/components/dashboard/src/settings/Preferences.tsx b/components/dashboard/src/settings/Preferences.tsx
index eea22268d4615a..22f62667de4c41 100644
--- a/components/dashboard/src/settings/Preferences.tsx
+++ b/components/dashboard/src/settings/Preferences.tsx
@@ -5,10 +5,13 @@
  */
 
 import { useContext, useState } from "react";
+import CheckBox from "../components/CheckBox";
 import { PageWithSubMenu } from "../components/PageWithSubMenu";
 import SelectableCard from "../components/SelectableCard";
 import Tooltip from "../components/Tooltip";
 import vscode from '../images/vscode.svg';
+import ideaLogo from '../images/intellijIdeaLogo.svg';
+import golandLogo from '../images/golandLogo.svg';
 import { getGitpodService } from "../service/service";
 import { ThemeContext } from "../theme-context";
 import { UserContext } from "../user-context";
@@ -19,6 +22,7 @@ type Theme = 'light' | 'dark' | 'system';
 export default function Preferences() {
     const { user } = useContext(UserContext);
     const { setIsDark } = useContext(ThemeContext);
+
     const [defaultIde, setDefaultIde] = useState<string>(user?.additionalData?.ideSettings?.defaultIde || 'code');
     const actuallySetDefaultIde = async (value: string) => {
         const additionalData = user?.additionalData || {};
@@ -28,6 +32,31 @@ export default function Preferences() {
         await getGitpodService().server.updateLoggedInUser({ additionalData });
         setDefaultIde(value);
     }
+
+    const desktopIdeFeatureEnabled = !!user?.rolesOrPermissions?.includes('admin');
+
+    const [defaultDesktopIde, setDefaultDesktopIde] = useState<string>(user?.additionalData?.ideSettings?.defaultDesktopIde || 'intellij');
+    const actuallySetDefaultDesktopIde = async (value: string) => {
+        const additionalData = user?.additionalData || {};
+        const settings = additionalData.ideSettings || {};
+        settings.defaultDesktopIde = value;
+        additionalData.ideSettings = settings;
+        await getGitpodService().server.updateLoggedInUser({ additionalData });
+        setDefaultDesktopIde(value);
+    }
+
+    const [useDesktopIde, setUseDesktopIde] = useState<boolean>(user?.additionalData?.ideSettings?.useDesktopIde || false);
+    const actuallySetUseDesktopIde = async (value: boolean) => {
+        const additionalData = user?.additionalData || {};
+        const settings = additionalData.ideSettings || {};
+        settings.useDesktopIde = value;
+        // Make sure that default desktop IDE is set even when the user did not explicitly select one.
+        settings.defaultDesktopIde = defaultDesktopIde;
+        additionalData.ideSettings = settings;
+        await getGitpodService().server.updateLoggedInUser({ additionalData });
+        setUseDesktopIde(value);
+    }
+
     const [theme, setTheme] = useState<Theme>(localStorage.theme || 'light');
     const actuallySetTheme = (theme: Theme) => {
         if (theme === 'dark' || theme === 'system') {
@@ -59,6 +88,29 @@ export default function Preferences() {
                     </SelectableCard>
                 </Tooltip>
             </div>
+            {desktopIdeFeatureEnabled &&
+                <div className="mt-4 space-x-4 flex">
+                    <CheckBox
+                        title="Use Desktop IDE"
+                        desc="Choose whether you would like to open your workspace in a desktop IDE instead."
+                        checked={useDesktopIde}
+                        onChange={(evt) => actuallySetUseDesktopIde(evt.target.checked)} />
+                </div>
+            }
+            {desktopIdeFeatureEnabled && useDesktopIde &&
+                <div className="mt-4 space-x-4 flex">
+                    <SelectableCard className="w-36 h-40" title="IntelliJ IDEA" selected={defaultDesktopIde === 'intellij'} onClick={() => actuallySetDefaultDesktopIde('intellij')}>
+                        <div className="flex justify-center mt-3">
+                        <img className="w-16 filter-grayscale self-center" src={ideaLogo} />
+                        </div>
+                    </SelectableCard>
+                    <SelectableCard className="w-36 h-40" title="GoLand" selected={defaultDesktopIde === 'goland'} onClick={() => actuallySetDefaultDesktopIde('goland')}>
+                        <div className="flex justify-center mt-3">
+                        <img className="w-16 filter-grayscale self-center" src={golandLogo} />
+                        </div>
+                    </SelectableCard>
+                </div>
+            }
             <h3 className="mt-12">Theme</h3>
             <p className="text-base text-gray-500">Early bird or night owl? Choose your side.</p>
             <div className="mt-4 space-x-4 flex">
diff --git a/components/gitpod-protocol/java/.project b/components/gitpod-protocol/java/.project
index 2a230d24c39ebb..9dd6734ca4aba8 100644
--- a/components/gitpod-protocol/java/.project
+++ b/components/gitpod-protocol/java/.project
@@ -22,7 +22,7 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1632232136569</id>
+			<id>0</id>
 			<name></name>
 			<type>30</type>
 			<matcher>
diff --git a/components/gitpod-protocol/src/protocol.ts b/components/gitpod-protocol/src/protocol.ts
index 7579e21f37e444..a9625d9ff7073a 100644
--- a/components/gitpod-protocol/src/protocol.ts
+++ b/components/gitpod-protocol/src/protocol.ts
@@ -114,6 +114,8 @@ export interface EmailNotificationSettings {
 
 export type IDESettings = {
     defaultIde?: string
+    useDesktopIde?: boolean
+    defaultDesktopIde?: string
 }
 
 export interface UserPlatform {