hyper/lib/constants/sessions.ts

104 lines
2.7 KiB
TypeScript
Raw Normal View History

2016-07-13 12:44:24 -08:00
export const SESSION_ADD = 'SESSION_ADD';
export const SESSION_RESIZE = 'SESSION_RESIZE';
export const SESSION_REQUEST = 'SESSION_REQUEST';
export const SESSION_ADD_DATA = 'SESSION_ADD_DATA';
export const SESSION_PTY_DATA = 'SESSION_PTY_DATA';
export const SESSION_PTY_EXIT = 'SESSION_PTY_EXIT';
export const SESSION_USER_EXIT = 'SESSION_USER_EXIT';
export const SESSION_SET_ACTIVE = 'SESSION_SET_ACTIVE';
export const SESSION_CLEAR_ACTIVE = 'SESSION_CLEAR_ACTIVE';
export const SESSION_USER_DATA = 'SESSION_USER_DATA';
export const SESSION_URL_SET = 'SESSION_URL_SET';
export const SESSION_URL_UNSET = 'SESSION_URL_UNSET';
export const SESSION_SET_XTERM_TITLE = 'SESSION_SET_XTERM_TITLE';
2016-07-19 09:45:28 -08:00
export const SESSION_SET_CWD = 'SESSION_SET_CWD';
export const SESSION_SEARCH = 'SESSION_SEARCH';
2019-12-27 06:33:21 -09:00
export interface SessionAddAction {
type: typeof SESSION_ADD;
uid: string;
shell: string | null;
pid: number | null;
cols: number | null;
rows: number | null;
2020-03-07 05:38:46 -09:00
splitDirection?: 'HORIZONTAL' | 'VERTICAL';
2019-12-27 06:33:21 -09:00
activeUid: string | null;
now: number;
}
export interface SessionResizeAction {
type: typeof SESSION_RESIZE;
uid: string;
cols: number;
rows: number;
isStandaloneTerm: boolean;
now: number;
}
export interface SessionRequestAction {
type: typeof SESSION_REQUEST;
}
export interface SessionAddDataAction {
type: typeof SESSION_ADD_DATA;
}
export interface SessionPtyDataAction {
type: typeof SESSION_PTY_DATA;
uid: string;
now: number;
}
export interface SessionPtyExitAction {
type: typeof SESSION_PTY_EXIT;
uid: string;
}
export interface SessionUserExitAction {
type: typeof SESSION_USER_EXIT;
uid: string;
}
export interface SessionSetActiveAction {
type: typeof SESSION_SET_ACTIVE;
uid: string;
}
export interface SessionClearActiveAction {
type: typeof SESSION_CLEAR_ACTIVE;
}
export interface SessionUserDataAction {
type: typeof SESSION_USER_DATA;
}
export interface SessionUrlSetAction {
type: typeof SESSION_URL_SET;
uid: string;
}
export interface SessionUrlUnsetAction {
type: typeof SESSION_URL_UNSET;
uid: string;
}
export interface SessionSetXtermTitleAction {
type: typeof SESSION_SET_XTERM_TITLE;
uid: string;
title: string;
}
export interface SessionSetCwdAction {
type: typeof SESSION_SET_CWD;
cwd: string;
}
export interface SessionSearchAction {
type: typeof SESSION_SEARCH;
uid: string;
value: boolean;
2019-12-27 06:33:21 -09:00
}
export type SessionActions =
| SessionAddAction
| SessionResizeAction
| SessionRequestAction
| SessionAddDataAction
| SessionPtyDataAction
| SessionPtyExitAction
| SessionUserExitAction
| SessionSetActiveAction
| SessionClearActiveAction
| SessionUserDataAction
| SessionUrlSetAction
| SessionUrlUnsetAction
| SessionSetXtermTitleAction
| SessionSetCwdAction
| SessionSearchAction;