export const SAVE_FILE = 'SAVE_FILE' ; export const SAVE_FILE_SUCCESS = 'SAVE_FILE_SUCCESS' ; export const OPEN_FILE = 'OPEN_FILE' ; export const OPEN_FILE_SUCCESS = 'OPEN_FILE_SUCCESS' ; export const NEW_FILE = 'NEW_FILE' ;