2016-07-07 17:50:52 +00:00
|
|
|
export const UPDATE_FILE_CONTENT = 'UPDATE_FILE_CONTENT';
|
2016-05-12 21:40:49 +00:00
|
|
|
export const TOGGLE_SKETCH = 'TOGGLE_SKETCH';
|
|
|
|
|
|
|
|
export const START_SKETCH = 'START_SKETCH';
|
2016-06-17 17:37:29 +00:00
|
|
|
export const STOP_SKETCH = 'STOP_SKETCH';
|
|
|
|
|
2016-06-17 18:31:33 +00:00
|
|
|
export const OPEN_PREFERENCES = 'OPEN_PREFERENCES';
|
|
|
|
export const CLOSE_PREFERENCES = 'CLOSE_PREFERENCES';
|
2016-06-20 18:58:15 +00:00
|
|
|
export const INCREASE_FONTSIZE = 'INCREASE_FONTSIZE';
|
|
|
|
export const DECREASE_FONTSIZE = 'DECREASE_FONTSIZE';
|
2016-07-11 00:13:37 +00:00
|
|
|
export const UPDATE_FONTSIZE = 'UPDATE_FONTSIZE';
|
2016-07-06 15:27:39 +00:00
|
|
|
export const INCREASE_INDENTATION = 'INCREASE_INDENTATION';
|
|
|
|
export const DECREASE_INDENTATION = 'DECREASE_INDENTATION';
|
2016-07-11 00:13:37 +00:00
|
|
|
export const UPDATE_INDENTATION = 'UPDATE_INDENTATION';
|
2016-07-11 02:52:48 +00:00
|
|
|
export const INDENT_WITH_SPACE = 'INDENT_WITH_SPACE';
|
|
|
|
export const INDENT_WITH_TAB = 'INDENT_WITH_TAB';
|
2016-06-09 17:56:23 +00:00
|
|
|
|
|
|
|
export const AUTH_USER = 'AUTH_USER';
|
|
|
|
export const UNAUTH_USER = 'UNAUTH_USER';
|
2016-06-14 23:11:42 +00:00
|
|
|
|
|
|
|
export const AUTH_ERROR = 'AUTH_ERROR';
|
2016-06-16 20:07:38 +00:00
|
|
|
|
|
|
|
export const SET_PROJECT_NAME = 'SET_PROJECT_NAME';
|
2016-06-17 18:11:52 +00:00
|
|
|
|
|
|
|
export const PROJECT_SAVE_SUCCESS = 'PROJECT_SAVE_SUCCESS';
|
|
|
|
export const PROJECT_SAVE_FAIL = 'PROJECT_SAVE_FAIL';
|
|
|
|
export const NEW_PROJECT = 'NEW_PROJECT';
|
|
|
|
|
2016-06-20 17:29:32 +00:00
|
|
|
export const SET_PROJECT = 'SET_PROJECT';
|
2016-07-01 15:30:40 +00:00
|
|
|
export const SET_PROJECTS = 'SET_PROJECTS';
|
2016-06-20 17:29:32 +00:00
|
|
|
|
2016-07-08 18:57:22 +00:00
|
|
|
export const SET_SELECTED_FILE = 'SET_SELECTED_FILE';
|
2016-06-20 17:29:32 +00:00
|
|
|
|
2016-06-23 22:29:55 +00:00
|
|
|
// eventually, handle errors more specifically and better
|
2016-06-20 17:29:32 +00:00
|
|
|
export const ERROR = 'ERROR';
|