key: add TODO's for media keys

Add TODO comments in places where we need to add media keys.
This commit is contained in:
Tim Culverhouse
2023-12-13 06:57:15 -06:00
parent a0880bcfed
commit 4bd9b1365a
3 changed files with 6 additions and 0 deletions

View File

@ -211,4 +211,6 @@ const keymap: []const RawEntry = &.{
.{ c.GDK_KEY_Control_R, .right_control },
.{ c.GDK_KEY_Alt_R, .right_alt },
.{ c.GDK_KEY_Super_R, .right_super },
// TODO: media keys
};

View File

@ -357,6 +357,8 @@ pub const Key = enum(c_int) {
kp_delete,
kp_begin,
// TODO: media keys
// modifiers
left_shift,
left_control,

View File

@ -117,6 +117,8 @@ const raw_entries: []const RawEntry = &.{
.{ .kp_delete, 57426, 'u', false },
.{ .kp_begin, 57427, 'u', false },
// TODO: media keys
.{ .left_shift, 57441, 'u', true },
.{ .right_shift, 57447, 'u', true },
.{ .left_control, 57442, 'u', true },