From 529000d04c8ef649f959500770b5aa98ec4b0ddf Mon Sep 17 00:00:00 2001 From: Jan Keromnes Date: Fri, 19 Mar 2021 09:59:08 +0000 Subject: [PATCH] [dashboard] Delete custom IDE image option from new dashboard again Context: https://github.com/gitpod-io/gitpod/pull/3482#issuecomment-802630371 --- components/dashboard/src/settings/Preferences.tsx | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/components/dashboard/src/settings/Preferences.tsx b/components/dashboard/src/settings/Preferences.tsx index 213c1917ceed6e..03cfeeaf911863 100644 --- a/components/dashboard/src/settings/Preferences.tsx +++ b/components/dashboard/src/settings/Preferences.tsx @@ -5,11 +5,6 @@ import { UserContext } from "../user-context"; import { SettingsPage } from "./SettingsPage"; export default function Preferences() { - const [ hasIDESettingsPermissions, setHasIDESettingsPermissions ] = useState(undefined); - if (hasIDESettingsPermissions === undefined) { - getGitpodService().server.hasPermission('ide-settings').then(hasPermission => setHasIDESettingsPermissions(hasPermission)); - } - const { user } = useContext(UserContext); const [ defaultIde, setDefaultIde ] = useState(user?.additionalData?.ideSettings?.defaultIde || 'theia'); const actuallySetDefaultIde = async (value: string) => { @@ -40,13 +35,6 @@ export default function Preferences() { - setDefaultIde('')}> - -
-
;