chore: navigation preference enhancements (#8468)

This commit is contained in:
Anmol Singh Bhatia 2025-12-30 13:22:28 +05:30 committed by GitHub
parent 8d479ac24c
commit 866338289e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
13 changed files with 165 additions and 44 deletions

View file

@ -83,6 +83,9 @@ export const WORKSPACE_STATES = (workspaceSlug: string) => `WORKSPACE_STATES_${w
export const WORKSPACE_SIDEBAR_PREFERENCES = (workspaceSlug: string) =>
`WORKSPACE_SIDEBAR_PREFERENCES_${workspaceSlug.toUpperCase()}`;
export const WORKSPACE_PROJECT_NAVIGATION_PREFERENCES = (workspaceSlug: string) =>
`WORKSPACE_PROJECT_NAVIGATION_PREFERENCES_${workspaceSlug.toUpperCase()}`;
export const PROJECT_GITHUB_REPOSITORY = (projectId: string) => `PROJECT_GITHUB_REPOSITORY_${projectId.toUpperCase()}`;
// cycles