fromValue static method

GhosttyTerminalOption fromValue(
  1. int value
)

Implementation

static GhosttyTerminalOption fromValue(int value) => switch (value) {
  0 => GHOSTTY_TERMINAL_OPT_USERDATA,
  1 => GHOSTTY_TERMINAL_OPT_WRITE_PTY,
  2 => GHOSTTY_TERMINAL_OPT_BELL,
  3 => GHOSTTY_TERMINAL_OPT_ENQUIRY,
  4 => GHOSTTY_TERMINAL_OPT_XTVERSION,
  5 => GHOSTTY_TERMINAL_OPT_TITLE_CHANGED,
  6 => GHOSTTY_TERMINAL_OPT_SIZE,
  7 => GHOSTTY_TERMINAL_OPT_COLOR_SCHEME,
  8 => GHOSTTY_TERMINAL_OPT_DEVICE_ATTRIBUTES,
  9 => GHOSTTY_TERMINAL_OPT_TITLE,
  10 => GHOSTTY_TERMINAL_OPT_PWD,
  11 => GHOSTTY_TERMINAL_OPT_COLOR_FOREGROUND,
  12 => GHOSTTY_TERMINAL_OPT_COLOR_BACKGROUND,
  13 => GHOSTTY_TERMINAL_OPT_COLOR_CURSOR,
  14 => GHOSTTY_TERMINAL_OPT_COLOR_PALETTE,
  15 => GHOSTTY_TERMINAL_OPT_KITTY_IMAGE_STORAGE_LIMIT,
  16 => GHOSTTY_TERMINAL_OPT_KITTY_IMAGE_MEDIUM_FILE,
  17 => GHOSTTY_TERMINAL_OPT_KITTY_IMAGE_MEDIUM_TEMP_FILE,
  18 => GHOSTTY_TERMINAL_OPT_KITTY_IMAGE_MEDIUM_SHARED_MEM,
  19 => GHOSTTY_TERMINAL_OPT_APC_MAX_BYTES,
  20 => GHOSTTY_TERMINAL_OPT_APC_MAX_BYTES_KITTY,
  21 => GHOSTTY_TERMINAL_OPT_SELECTION,
  22 => GHOSTTY_TERMINAL_OPT_DEFAULT_CURSOR_STYLE,
  23 => GHOSTTY_TERMINAL_OPT_DEFAULT_CURSOR_BLINK,
  24 => GHOSTTY_TERMINAL_OPT_GLYPH_PROTOCOL,
  25 => GHOSTTY_TERMINAL_OPT_PWD_CHANGED,
  26 => GHOSTTY_TERMINAL_OPT_CLIPBOARD_WRITE,
  27 => GHOSTTY_TERMINAL_OPT_SCROLLBACK_MAX_BYTES,
  28 => GHOSTTY_TERMINAL_OPT_SCROLLBACK_MAX_LINES,
  29 => GHOSTTY_TERMINAL_OPT_DESKTOP_NOTIFICATION,
  30 => GHOSTTY_TERMINAL_OPT_PROGRESS_REPORT,
  31 => GHOSTTY_TERMINAL_OPT_CONTINUATION_MAX_BYTES,
  32 => GHOSTTY_TERMINAL_OPT_TITLE_REPORT,
  33 => GHOSTTY_TERMINAL_OPT_MODE_DEFAULT,
  34 => GHOSTTY_TERMINAL_OPT_MODE,
  35 => GHOSTTY_TERMINAL_OPT_UNKNOWN_SEQUENCE,
  36 => GHOSTTY_TERMINAL_OPT_UNKNOWN_MAX_BYTES,
  37 => GHOSTTY_TERMINAL_OPT_TERMINFO_NAME,
  38 => GHOSTTY_TERMINAL_OPT_CLIPBOARD_READ,
  39 => GHOSTTY_TERMINAL_OPT_CLIPBOARD_WRITE_MAX_BYTES,
  2147483647 => GHOSTTY_TERMINAL_OPT_MAX_VALUE,
  _ => throw ArgumentError('Unknown value for GhosttyTerminalOption: $value'),
};