Aire-One
/
awesomewm.d.tl
1
0
Fork 0
Code Issues 9 Pull Requests 2 Packages Projects Releases Wiki Activity

fix(visitor/type_mapping): update mapping
ci/woodpecker/pr/docker-build Pipeline was successful Details
ci/woodpecker/pr/build Pipeline was successful Details
ci/woodpecker/pr/lint Pipeline was successful Details
ci/woodpecker/pr/test Pipeline was successful Details

This commit is contained in:
Aire-One 2023-08-01 23:36:47 +02:00
parent 3680c1ebb5
commit c8ff0aaaec
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/awesomewm.d.tl/visitors/type_mapping.tl
View File

@ -4,8 +4,7 @@ local type Node = require("types.Node")
local gears_shape_function = "function(cr: any, width: integer, height: integer)" local gears_shape_function = "function(cr: any, width: integer, height: integer)"
local type_map <const>: { string : string } = { local type_map <const>: { string : string } = {
awesome = "awesome", awesome = "Awesome",
Awesome = "awesome",
bool = "boolean", bool = "boolean",
client = "Client", client = "Client",
["gears.shape"] = gears_shape_function, ["gears.shape"] = gears_shape_function,
@ -16,8 +15,10 @@ local type_map <const>: { string : string } = {
shape = gears_shape_function, shape = gears_shape_function,
surface = "Surface", surface = "Surface",
tag = "Tag", tag = "Tag",
["wibox.widget"] = "Widget", widget = "wibox.widget",
widget = "Widget",
-- fixes we shouldn't have to do (We need to PR Awesome to fix the doc)
timer = "gears.timer",
} }
local function get_type(t: string): string local function get_type(t: string): string