aboutsummaryrefslogtreecommitdiff
path: root/src/shared
diff options
context:
space:
mode:
authorShin'ya Ueoka <ueokande@i-beam.org>2021-03-16 22:40:26 +0900
committerGitHub <noreply@github.com>2021-03-16 22:40:26 +0900
commitd8bbad8e1b774d6e46c7fa05324c90ce2b716a66 (patch)
tree4d4dd139b2e73bbaa5643e5b3bd6e123a6ce3e99 /src/shared
parent1f2afb8c157aa601e7cbd46041c9bf063c63d982 (diff)
parent04ebd1e5331d29b2413c174ae0fe9d73566b3b8d (diff)
Merge pull request #1034 from ueokande/iframe-dynamic-resize
Iframe dynamic resize
Diffstat (limited to 'src/shared')
-rw-r--r--src/shared/messages.ts11
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);
};