You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
description="Select the default IDE you're using for workspaces. This will be overridden whenever you create a workspace with a different IDE. You can prevent this by checking the 'Always use this IDE' checkbox">
169
176
<>
@@ -185,18 +192,31 @@ function CustomizationSettings() {
185
192
</Checkbox>
186
193
</>
187
194
</SettingSection>
195
+
188
196
<SettingSection
189
-
showDivider={true}
190
197
title="Dotfiles"
191
198
description="Set the dotfiles git repository to use inside workspaces">
192
199
{dotfilesInput}
193
200
</SettingSection>
201
+
194
202
<SettingSection
195
-
showDivider={false}
196
203
title="SSH Key for Git commit signing"
197
204
description="Set path of your SSH key you want to use for signing Git commits">
0 commit comments