mirror of
https://github.com/aclist/dztui.git
synced 2026-11-10 20:10:38 +01:00
29 lines
539 B
Python
29 lines
539 B
Python
import gi
|
|
|
|
gi.require_version("Gtk", "3.0")
|
|
from gi.repository import Gdk
|
|
|
|
|
|
def is_navkey(key: int) -> bool:
|
|
nav_keys = [
|
|
Gdk.KEY_Down,
|
|
Gdk.KEY_Up,
|
|
Gdk.KEY_Right,
|
|
Gdk.KEY_Page_Down,
|
|
Gdk.KEY_Page_Up,
|
|
Gdk.KEY_j,
|
|
Gdk.KEY_k,
|
|
Gdk.KEY_g,
|
|
Gdk.KEY_G,
|
|
]
|
|
if key in nav_keys:
|
|
return True
|
|
return False
|
|
|
|
|
|
def is_ctrl_mask(event: Gdk.EventKey) -> bool:
|
|
if event.state is Gdk.ModifierType.CONTROL_MASK:
|
|
return True
|
|
else:
|
|
return False
|