Use your local settings and extensions while working in Devin’s IDE
.code-profile
file..code-profile
File ManuallyCmd+Shift+P -> Preferences: Open User Settings (JSON)
. Check that it matches your local editor’s.Cmd+Shift+P -> Preferences: Open Keyboard Shortcuts (JSON)
. Check that it matches your local editor’s.