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';
|
2019-09-23 09:37:22 -08:00
|
|
|
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;
|
2022-01-08 20:35:57 -09:00
|
|
|
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
|
2022-01-08 20:35:57 -09:00
|
|
|
| SessionSearchAction;
|