[feat] Added workspace class and editor preferences at Repo, Context and Global levels with cascade #30

Merged

Palanikannan1437 merged 7 commits intodevelopfrom preferences

Mar 16, 2023

+473-71

Commits on Mar 6, 2023

GitHub oAuth added for simpler auth
Palanikannan1437
committed

Commits on Mar 8, 2023

added preferences at repo, context and global level with cascading behaviour
Palanikannan1437
committed
fixed default preferences and added more context in navigation title at bottom
Palanikannan1437
committed
Delete workspace_preferences.tsx
Palanikannan1437
authored

Commits on Mar 9, 2023

Commits on Mar 16, 2023

added workspace class icons with revalidation and fixed useLatest editor option
Palanikannan1437
committed