enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 21:01:51 +03:00
Code Issues Projects Releases Wiki Activity

Fix opening projects with arbitrary name (#8012)

Browse Source 
related #7973

Fixes opening the projects with names that are not in Upper_Snake_Case.

# Important Notes
https://github.com/enso-org/enso/assets/357683/ea820658-5dee-474a-9dce-201d09796af7
This commit is contained in:
Dmitry Bushev 2023-10-10 02:15:21 +01:00 committed by GitHub
parent bbd1652727
commit 11997e9344
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
app/ide-desktop/lib/dashboard/src/authentication/src/dashboard/components/editor.tsx
View File

@ -144,6 +144,7 @@ export default function Editor(props: EditorProps) {
},
startup: {
project: project.packageName,
displayedProjectName: project.name,
},
window: {
topBarOffset: `${TOP_BAR_X_OFFSET_PX}`,

2
app/ide-desktop/lib/dashboard/src/authentication/src/dashboard/localBackend.ts
View File

@ -194,7 +194,7 @@ export class LocalBackend extends backend.Backend {
jsonAddress: ipWithSocketToAddress(cachedProject.languageServerJsonAddress),
binaryAddress: ipWithSocketToAddress(cachedProject.languageServerBinaryAddress),
organizationId: '',
packageName: cachedProject.projectName,
packageName: cachedProject.projectNormalizedName,
projectId,
state: {
type: backend.ProjectState.opened,

1
app/ide-desktop/lib/dashboard/src/authentication/src/dashboard/projectManager.ts
View File

@ -104,6 +104,7 @@ export interface OpenProject {
languageServerJsonAddress: IpWithSocket
languageServerBinaryAddress: IpWithSocket
projectName: ProjectName
projectNormalizedName: string
projectNamespace: string
}