hyper/typings/constants/sessions.d.ts

94 lines
2.5 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_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;
2023-06-28 21:04:33 -08:00
profile: string;
2019-12-27 06:33:21 -09:00
}
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;
2023-06-25 04:27:42 -08:00
data: string;
2019-12-27 06:33:21 -09:00
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 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
| SessionSetXtermTitleAction
| SessionSetCwdAction
| SessionSearchAction;