fix(app): default project picker to home
This commit is contained in:
parent
81d5a3973d
commit
7865d69001
10 changed files with 31 additions and 8 deletions
|
|
@ -61,7 +61,7 @@ export interface ServerApi<E = never> {
|
|||
export type Endpoint2_0Input = {
|
||||
readonly location?: { readonly directory?: string | undefined; readonly workspace?: string | undefined } | undefined
|
||||
}
|
||||
export type Endpoint2_0Output = Location.Info
|
||||
export type Endpoint2_0Output = Location.Details
|
||||
export type LocationGetOperation<E = never> = (input?: Endpoint2_0Input) => Effect.Effect<Endpoint2_0Output, E>
|
||||
|
||||
export interface LocationApi<E = never> {
|
||||
|
|
|
|||
|
|
@ -2519,6 +2519,7 @@ export type LocationGetOutput = {
|
|||
directory: string
|
||||
workspaceID?: string
|
||||
project: { id: string; directory: string; canonical: string }
|
||||
home: string
|
||||
}
|
||||
|
||||
export type AgentListInput = {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue