diff options
author | Shin'ya Ueoka <ueokande@i-beam.org> | 2021-03-16 22:40:26 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-16 22:40:26 +0900 |
commit | d8bbad8e1b774d6e46c7fa05324c90ce2b716a66 (patch) | |
tree | 4d4dd139b2e73bbaa5643e5b3bd6e123a6ce3e99 /src/shared | |
parent | 1f2afb8c157aa601e7cbd46041c9bf063c63d982 (diff) | |
parent | 04ebd1e5331d29b2413c174ae0fe9d73566b3b8d (diff) |
Merge pull request #1034 from ueokande/iframe-dynamic-resize
Iframe dynamic resize
Diffstat (limited to 'src/shared')
-rw-r--r-- | src/shared/messages.ts | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/shared/messages.ts b/src/shared/messages.ts index 60d4c9e..59329e7 100644 --- a/src/shared/messages.ts +++ b/src/shared/messages.ts @@ -19,6 +19,7 @@ export const CONSOLE_REQUEST_BOOKMARKS = "console.request.bookmarks"; export const CONSOLE_REQUEST_HISTORY = "console.request.history"; export const CONSOLE_REQUEST_TABS = "console.request.tabs"; export const CONSOLE_GET_PROPERTIES = "console.get.properties"; +export const CONSOLE_RESIZE = "console.resize"; export const FOLLOW_START = "follow.start"; export const FOLLOW_REQUEST_COUNT_TARGETS = "follow.request.count.targets"; @@ -127,6 +128,12 @@ export interface ConsoleGetPropertiesMessage { type: typeof CONSOLE_GET_PROPERTIES; } +export interface ConsoleResizeMessage { + type: typeof CONSOLE_RESIZE; + width: number; + height: number; +} + export type ConsoleRequestTabsResponse = { index: number; flag: TabFlag; @@ -301,6 +308,7 @@ export type Message = | ConsoleRequestHistoryMessage | ConsoleRequestTabsMessage | ConsoleGetPropertiesMessage + | ConsoleResizeMessage | ConsoleGetCompletionTypesMessage | ConsoleRequestSearchEnginesMessage | FollowStartMessage @@ -363,11 +371,12 @@ export const valueOf = (o: any): Message => { case SETTINGS_CHANGED: case SETTINGS_QUERY: case CONSOLE_FRAME_MESSAGE: + case CONSOLE_RESIZE: case NAVIGATE_HISTORY_NEXT: case NAVIGATE_HISTORY_PREV: case NAVIGATE_LINK_NEXT: case NAVIGATE_LINK_PREV: return o; } - throw new Error("unknown operation type: " + o.type); + throw new Error("unknown message type: " + o.type); }; |