novdom/hotkey

Types

pub type Hotkey {
  Hotkey(code: String, modifiers: List(Modifier))
}

Hotkey(code: String, modifiers: List(Modifier))

</>

pub type HotkeyId =
  String

</>

pub type HotkeyOption {
  Key(Hotkey)
  Id(HotkeyId)
}

</>

pub type Modifier {
  Shift
  Alt
  Short
}

</>

pub fn add(id: String, key: Hotkey) -> Nil

</>

pub fn configure_ids(
  config: List(#(String, List(Hotkey))),
) -> Nil

</>

pub fn get_ids(key: Hotkey) -> List(String)

</>

pub fn get_keys(id: String) -> List(Hotkey)

</>

pub fn init() -> Nil

</>

pub fn keypress_callback(e: Event) -> Nil

</>

pub fn override(id: String, key: Hotkey) -> Nil

</>

pub fn remove(id: String, key: Hotkey) -> Nil

</>

pub fn set_hotkey_listener(
  id: String,
  callback: fn(Event) -> Nil,
) -> Nil

</>

pub fn with_hotkey(
  option: HotkeyOption,
  callback: fn(Event) -> Nil,
) -> fn(Event) -> Nil