mirror of
https://github.com/aclist/dztui.git
synced 2026-10-30 22:52:42 +01:00
feat: populate ServerTreeViews
This commit is contained in:
1 parent
4a3d407e5f
commit
37dab3e83b
9 files changed
+140
-130
No files matched your search
+2
-3
@@ -19,8 +19,7 @@ def is_navkey(key: int) -> bool:
|
||||
return False
|
||||
|
||||
def is_ctrl_mask(event: Gdk.EventKey) -> bool:
|
||||
if event.keyval is Gdk.KEY_l \
|
||||
and event.state is Gdk.ModifierType.CONTROL_MASK:
|
||||
return True
|
||||
if event.state is Gdk.ModifierType.CONTROL_MASK:
|
||||
return True
|
||||
else:
|
||||
return False
|
||||
Reference in new issue
Block a user