diff options
Diffstat (limited to '_www/interface.ts')
| -rw-r--r-- | _www/interface.ts | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/_www/interface.ts b/_www/interface.ts index b608015..3b8edc6 100644 --- a/_www/interface.ts +++ b/_www/interface.ts @@ -4,6 +4,7 @@ export const CLASS_NAV_LINK = "nav_link" export const CLASS_NAV_TARGET = "nav_target" export const HASH_ENVIRONMENT = "environment" +export const HASH_LINKS = "links" export const FormInputKindNumber = "number" export const FormInputKindString = "string" @@ -73,6 +74,13 @@ export interface MapNumberString { [key: number]: string } +export interface NavLinkInterface { + ID: string + Text: string + Href: string + OpenInIFrame: boolean +} + export interface RunRequestInterface { Target: TargetInterface HttpTarget: HttpTargetInterface | null @@ -114,10 +122,11 @@ export interface TrunksInterface { target: TargetInterface, http_target: HttpTargetInterface | null, ws_target: WebSocketTargetInterface | null, + nav_link: NavLinkInterface | null, el: HTMLElement, ): void - SetContent(path: string, el: HTMLElement): void + SetContent(path: string, el: HTMLElement | null): void RunHttp( target: TargetInterface, |