app/assets/javascripts/ide/stores/modules/terminal/mutation_types.js


1
2
3
4
5
6
7
8
9
10
11

export const SET_VISIBLE = 'SET_VISIBLE';
export const HIDE_SPLASH = 'HIDE_SPLASH';
export const SET_PATHS = 'SET_PATHS';

export const REQUEST_CHECK = 'REQUEST_CHECK';
export const RECEIVE_CHECK_SUCCESS = 'RECEIVE_CHECK_SUCCESS';
export const RECEIVE_CHECK_ERROR = 'RECEIVE_CHECK_ERROR';

export const SET_SESSION = 'SET_SESSION';
export const SET_SESSION_STATUS = 'SET_SESSION_STATUS';
export const SET_SESSION_STATUS_INTERVAL = 'SET_SESSION_STATUS_INTERVAL';