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'; export const UI_FONT_SMOOTHING_SET = 'UI_FONT_SMOOTHING_SET'; 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_MOVE_NEXT_PANE = 'UI_MOVE_NEXT_PANE'; export const UI_MOVE_PREV_PANE = 'UI_MOVE_PREV_PANE'; export const UI_SHOW_PREFERENCES = 'UI_SHOW_PREFERENCES'; export const UI_WINDOW_MOVE = 'UI_WINDOW_MOVE'; export const UI_WINDOW_MAXIMIZE = 'UI_WINDOW_MAXIMIZE'; export const UI_WINDOW_UNMAXIMIZE = 'UI_WINDOW_UNMAXIMIZE'; export const UI_WINDOW_GEOMETRY_CHANGED = 'UI_WINDOW_GEOMETRY_CHANGED'; export const UI_OPEN_FILE = 'UI_OPEN_FILE'; export const UI_OPEN_SSH_URL = 'UI_OPEN_SSH_URL'; 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'; export const UI_CONTEXTMENU_OPEN = 'UI_CONTEXTMENU_OPEN'; export const UI_COMMAND_EXEC = 'UI_COMMAND_EXEC';