2016-07-13 12:44:24 -08:00
|
|
|
export const UI_FONT_SIZE_SET = 'UI_FONT_SIZE_SET';
|
|
|
|
|
export const UI_FONT_SIZE_INCR = 'UI_FONT_SIZE_INCR';
|
|
|
|
|
export const UI_FONT_SIZE_DECR = 'UI_FONT_SIZE_DECR';
|
|
|
|
|
export const UI_FONT_SIZE_RESET = 'UI_FONT_SIZE_RESET';
|
2016-07-19 10:30:57 -08:00
|
|
|
export const UI_FONT_SMOOTHING_SET = 'UI_FONT_SMOOTHING_SET';
|
2016-07-13 12:44:24 -08:00
|
|
|
export const UI_MOVE_LEFT = 'UI_MOVE_LEFT';
|
|
|
|
|
export const UI_MOVE_RIGHT = 'UI_MOVE_RIGHT';
|
|
|
|
|
export const UI_MOVE_TO = 'UI_MOVE_TO';
|
2016-10-03 18:00:50 -08:00
|
|
|
export const UI_MOVE_NEXT_PANE = 'UI_MOVE_NEXT_PANE';
|
|
|
|
|
export const UI_MOVE_PREV_PANE = 'UI_MOVE_PREV_PANE';
|
2016-07-13 12:44:24 -08:00
|
|
|
export const UI_SHOW_PREFERENCES = 'UI_SHOW_PREFERENCES';
|
2016-07-19 10:30:57 -08:00
|
|
|
export const UI_WINDOW_MOVE = 'UI_WINDOW_MOVE';
|
2016-08-06 02:01:01 -08:00
|
|
|
export const UI_WINDOW_MAXIMIZE = 'UI_WINDOW_MAXIMIZE';
|
|
|
|
|
export const UI_WINDOW_UNMAXIMIZE = 'UI_WINDOW_UNMAXIMIZE';
|
2017-01-10 20:45:49 -09:00
|
|
|
export const UI_WINDOW_GEOMETRY_CHANGED = 'UI_WINDOW_GEOMETRY_CHANGED';
|
2016-08-01 14:52:21 -08:00
|
|
|
export const UI_OPEN_FILE = 'UI_OPEN_FILE';
|
2016-11-11 08:18:04 -09:00
|
|
|
export const UI_OPEN_HAMBURGER_MENU = 'UI_OPEN_HAMBURGER_MENU';
|
|
|
|
|
export const UI_WINDOW_MINIMIZE = 'UI_WINDOW_MINIMIZE';
|
|
|
|
|
export const UI_WINDOW_CLOSE = 'UI_WINDOW_CLOSE';
|
2017-11-02 18:51:18 -08:00
|
|
|
export const UI_COMMAND_EXEC = 'UI_COMMAND_EXEC';
|