2016-07-07 19:50:52 +02:00
|
|
|
export const UPDATE_FILE_CONTENT = 'UPDATE_FILE_CONTENT';
|
2016-05-12 23:40:49 +02:00
|
|
|
export const TOGGLE_SKETCH = 'TOGGLE_SKETCH';
|
|
|
|
|
|
|
|
export const START_SKETCH = 'START_SKETCH';
|
2016-06-17 19:37:29 +02:00
|
|
|
export const STOP_SKETCH = 'STOP_SKETCH';
|
|
|
|
|
2016-08-12 22:37:38 +02:00
|
|
|
export const START_TEXT_OUTPUT = 'START_TEXT_OUTPUT';
|
|
|
|
export const STOP_TEXT_OUTPUT = 'STOP_TEXT_OUTPUT';
|
|
|
|
|
2016-06-17 20:31:33 +02:00
|
|
|
export const OPEN_PREFERENCES = 'OPEN_PREFERENCES';
|
|
|
|
export const CLOSE_PREFERENCES = 'CLOSE_PREFERENCES';
|
2016-08-04 05:45:49 +02:00
|
|
|
export const SET_FONT_SIZE = 'SET_FONT_SIZE';
|
|
|
|
|
2016-07-06 17:27:39 +02:00
|
|
|
export const INCREASE_INDENTATION = 'INCREASE_INDENTATION';
|
|
|
|
export const DECREASE_INDENTATION = 'DECREASE_INDENTATION';
|
2016-07-11 02:13:37 +02:00
|
|
|
export const UPDATE_INDENTATION = 'UPDATE_INDENTATION';
|
2016-08-04 05:45:49 +02:00
|
|
|
export const SET_INDENTATION = 'SET_INDENTATION';
|
|
|
|
|
2016-07-11 04:52:48 +02:00
|
|
|
export const INDENT_WITH_SPACE = 'INDENT_WITH_SPACE';
|
|
|
|
export const INDENT_WITH_TAB = 'INDENT_WITH_TAB';
|
2016-06-09 19:56:23 +02:00
|
|
|
|
|
|
|
export const AUTH_USER = 'AUTH_USER';
|
|
|
|
export const UNAUTH_USER = 'UNAUTH_USER';
|
2016-06-15 01:11:42 +02:00
|
|
|
|
|
|
|
export const AUTH_ERROR = 'AUTH_ERROR';
|
2016-06-16 22:07:38 +02:00
|
|
|
|
|
|
|
export const SET_PROJECT_NAME = 'SET_PROJECT_NAME';
|
2016-06-17 20:11:52 +02:00
|
|
|
|
|
|
|
export const PROJECT_SAVE_SUCCESS = 'PROJECT_SAVE_SUCCESS';
|
|
|
|
export const PROJECT_SAVE_FAIL = 'PROJECT_SAVE_FAIL';
|
|
|
|
export const NEW_PROJECT = 'NEW_PROJECT';
|
2016-08-12 18:45:26 +02:00
|
|
|
export const RESET_PROJECT = 'RESET_PROJECT';
|
2016-08-15 18:42:13 +02:00
|
|
|
export const SHOW_EDIT_PROJECT_NAME = 'SHOW_EDIT_PROJECT_NAME';
|
|
|
|
export const HIDE_EDIT_PROJECT_NAME = 'HIDE_EDIT_PROJECT_NAME';
|
2016-06-17 20:11:52 +02:00
|
|
|
|
2016-06-20 19:29:32 +02:00
|
|
|
export const SET_PROJECT = 'SET_PROJECT';
|
2016-07-01 17:30:40 +02:00
|
|
|
export const SET_PROJECTS = 'SET_PROJECTS';
|
2016-06-20 19:29:32 +02:00
|
|
|
|
2016-07-08 20:57:22 +02:00
|
|
|
export const SET_SELECTED_FILE = 'SET_SELECTED_FILE';
|
2016-07-13 22:13:28 +02:00
|
|
|
export const SHOW_MODAL = 'SHOW_MODAL';
|
|
|
|
export const HIDE_MODAL = 'HIDE_MODAL';
|
|
|
|
export const CREATE_FILE = 'CREATE_FILE';
|
2016-07-20 00:26:46 +02:00
|
|
|
export const SET_BLOB_URL = 'SET_BLOB_URL';
|
2016-06-20 19:29:32 +02:00
|
|
|
|
2016-07-14 18:47:54 +02:00
|
|
|
export const EXPAND_SIDEBAR = 'EXPAND_SIDEBAR';
|
|
|
|
export const COLLAPSE_SIDEBAR = 'COLLAPSE_SIDEBAR';
|
|
|
|
|
2016-07-18 01:06:43 +02:00
|
|
|
export const CONSOLE_EVENT = 'CONSOLE_EVENT';
|
2016-07-21 06:33:41 +02:00
|
|
|
export const EXPAND_CONSOLE = 'EXPAND_CONSOLE';
|
|
|
|
export const COLLAPSE_CONSOLE = 'COLLAPSE_CONSOLE';
|
2016-07-18 01:06:43 +02:00
|
|
|
|
2016-08-11 20:09:59 +02:00
|
|
|
export const UPDATE_LINT_MESSAGE = 'UPDATE_LINT_MESSAGE';
|
|
|
|
export const CLEAR_LINT_MESSAGE = 'CLEAR_LINT_MESSAGE';
|
2016-08-11 19:24:02 +02:00
|
|
|
export const UPDATE_LINENUMBER = 'UPDATE_LINENUMBER';
|
2016-08-10 17:13:17 +02:00
|
|
|
|
2016-08-03 21:11:59 +02:00
|
|
|
export const SHOW_FILE_OPTIONS = 'SHOW_FILE_OPTIONS';
|
|
|
|
export const HIDE_FILE_OPTIONS = 'HIDE_FILE_OPTIONS';
|
|
|
|
|
|
|
|
export const UPDATE_FILE_NAME = 'UPDATE_FILE_NAME';
|
|
|
|
export const DELETE_FILE = 'DELETE_FILE';
|
2016-08-03 23:10:03 +02:00
|
|
|
export const SHOW_EDIT_FILE_NAME = 'SHOW_EDIT_FILE_NAME';
|
|
|
|
export const HIDE_EDIT_FILE_NAME = 'HIDE_EDIT_FILE_NAME';
|
2016-08-03 21:11:59 +02:00
|
|
|
|
2016-08-09 22:15:28 +02:00
|
|
|
export const SET_AUTOSAVE = 'SET_AUTOSAVE';
|
2016-08-11 20:09:59 +02:00
|
|
|
export const SET_LINT_WARNING = 'SET_LINT_WARNING';
|
2016-08-09 23:50:45 +02:00
|
|
|
export const SET_PREFERENCES = 'SET_PREFERENCES';
|
2016-08-12 21:50:33 +02:00
|
|
|
export const SET_TEXT_OUTPUT = 'SET_TEXT_OUTPUT';
|
2016-08-09 20:20:54 +02:00
|
|
|
|
2016-06-24 00:29:55 +02:00
|
|
|
// eventually, handle errors more specifically and better
|
2016-06-20 19:29:32 +02:00
|
|
|
export const ERROR = 'ERROR';
|