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';
|
|
|
|
|
export const UI_SHOW_PREFERENCES = 'UI_SHOW_PREFERENCES';
|
2016-07-19 10:30:57 -08:00
|
|
|
export const UI_WINDOW_MOVE = 'UI_WINDOW_MOVE';
|