From 7f781dd9e733713b8b2343b2cde53c0db424f334 Mon Sep 17 00:00:00 2001 From: Aire-One Date: Wed, 20 Dec 2023 18:25:08 +0100 Subject: [PATCH] chore: add more types fixes --- src/awesomewmdtl/visitors/type_mapping.tl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/awesomewmdtl/visitors/type_mapping.tl b/src/awesomewmdtl/visitors/type_mapping.tl index 2fc4b24..33b2a15 100644 --- a/src/awesomewmdtl/visitors/type_mapping.tl +++ b/src/awesomewmdtl/visitors/type_mapping.tl @@ -16,6 +16,7 @@ local type_map : { string : string } = { Integer = "integer", layout = "Layout", ["lgi.Pango.FontDescription"] = "any", -- We'll probably never have better support for this one, since it's a GI bindings + ["naughty.notification_closed_reason"] = "number", -- Teal doesn't support numeric enums ["Pango.FontDescription"] = "any", -- We'll probably never have better support for this one, since it's a GI bindings placement = "Awful_Placement_Function", raw_surface = "Cairo_Surface", @@ -31,6 +32,8 @@ local type_map : { string : string } = { font = "string", -- doesn't exist func = "function", -- doesn't exist ["gears.color"] = "any", -- shouldn't be here + ["gears.opacity"] = "number", -- error in the naughty.notification doc + ["gears.margin"] = "number", -- error in the naughty.notification doc gradient = "string", -- doesn't exist pattern = "string", -- doesn't exist raw_curface = "Cairo_Surface", -- typo