Closes #22 - Implemented numbered workspace identifiers. (#31)

This commit is contained in:
Jas Singh
2024-07-28 17:51:16 -07:00
committed by GitHub
parent 3dc5bbbe13
commit f09f4ad6bd
6 changed files with 55 additions and 1 deletions

View File

@@ -3,6 +3,7 @@ import icons from "lib/icons"
import options from "options"
import { ThemesMenu } from "./pages/theme/index"
import { SettingsMenu } from "./pages/config/index"
import "./side_effects";
type Page = "Configuration" | "Theming"