1
1
mirror of https://github.com/Fabio286/antares.git synced 2025-06-05 21:59:22 +02:00

chore: minor docs changes

This commit is contained in:
2023-12-25 11:40:52 +01:00
parent 88ec71c943
commit 171caed8b5
4 changed files with 6 additions and 3 deletions

View File

@@ -66,7 +66,7 @@ export interface Workspace {
uid: string;
client?: ClientCode;
database?: string;
connectionStatus: string;
connectionStatus: 'connected' | 'disconnected' | 'failed';
selectedTab: string;
searchTerm: string;
tabs: WorkspaceTab[];