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';
|
2016-10-15 21:20:10 -08:00
|
|
|
export const UI_ENTER_QUICK_FULL_SCREEN = 'UI_ENTER_QUICK_FULL_SCREEN';
|
|
|
|
|
export const UI_LEAVE_QUICK_FULL_SCREEN = 'UI_LEAVE_QUICK_FULL_SCREEN';
|
2016-08-01 14:52:21 -08:00
|
|
|
export const UI_OPEN_FILE = 'UI_OPEN_FILE';
|